Editing Static program analysis (section)

== Further reading ==
* {{cite journal |last1 = Ayewah |first1 = Nathaniel |last2 = Hovemeyer |first2 = David |last3 = Morgenthaler |first3 = J. David |last4 = Penix |first4 = John |last5 = Pugh |first5 = William |year = 2008 |title = Using Static Analysis to Find Bugs |journal = IEEE Software |volume = 25 |issue = 5 |pages = 22–29 |doi = 10.1109/MS.2008.130 |citeseerx = 10.1.1.187.8985 |s2cid = 20646690 }}
* {{cite book |author = Brian Chess, Jacob West (Fortify Software) | title= Secure Programming with Static Analysis | publisher= Addison-Wesley |year = 2007 |isbn = 978-0-321-42477-8}}
* {{cite book |author1=Flemming Nielson |author2=Hanne R. Nielson |author3=Chris Hankin |edition = 1999 (corrected 2004) |title = Principles of Program Analysis |publisher= Springer |isbn = 978-3-540-65410-0|date=2004-12-10 }}
* [http://santos.cis.ksu.edu/schmidt/Escuela03/home.html "Abstract interpretation and static analysis,"] International Winter School on Semantics and Applications 2003, by [http://people.cis.ksu.edu/~schmidt/ David A. Schmidt]
{{Program analysis}}

[[Category:Static program analysis| ]]
[[Category:Program analysis]]
[[Category:Software engineering]]