Black, P.
(2009),
Static Analyzers in Software Engineering, Crosstalk (Hill AFB): the Journal of Defense Software Engineering, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=901506
(Accessed March 13, 2025)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Static Analyzers in Software Engineering
Published
Author(s)
Abstract
Static analyzers can report possible problems in code and help reinforce good practices of developers. We contrast the strengths of static analyzers with testing and indicate the current state of the art.Citation
Crosstalk (Hill AFB): the Journal of Defense Software Engineering
Volume
Vol. 22 No. 3
Issue
3
Pub Type
Journals
Download Paper
Keywords
computer programs, software assurance, static analysis
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created March 2, 2009, Updated February 19, 2017