Demonstration of COSAK static analysis tools

Dan DaCosta, Christopher Dahn, Spiros Mancoridis, Vassilis Prevelakis. Demonstration of COSAK static analysis tools. In 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA. pages 7-9, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.