Static analyzers in software engineering

CrossTalk

Volumn 22, Issue 3-4, 2009, Pages 16-17

  Black, Paul E ^a  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GOOD PRACTICES; STATIC ANALYZERS;

SOFTWARE ENGINEERING;

EID: 65949120404     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. "Source Code Security Analysis Tool Functional Specification Version 1.0." National Institute of Standards and Technology (NIST), Special Publication 500-268. May 2007 .
2. Holzmann, Gerard J. "Conquering Complexity." Computer 40 (12): 111-113, Dec. 2007.
3. NIST. "Static Analysis Tool Exposition." 7 July 2008.
4. NIST. ACM SIGPLAN. Proc. of the Static Analysis Workshop. Tucson, AZ. 12 June 2008 .
5. MITRE. "Common Weakness Enumeration." 25 Nov. 2008
6. NIST. "NIST SAMATE Reference Dataset." Jan. 2006.