Revision as of 12:21, 28 December 2004 edit 217.29.150.218 (talk) →Formal methods ← Previous edit		Revision as of 09:41, 14 March 2005 edit undo 137.44.1.200 (talk) →External links Next edit →
Line 33: [http://citeseer.org/cs?q=static+and+code+and+analysis Citations from CiteSeer] [http://www.astree.ens.fr/ ASTRÉE project], with explanations on [[static analysis]] by [[abstract interpretation]] *[http://www.dwheeler.com/flawfinder/ Flawfinder], contains a good list of other static checking tools towards the bottom [[Category:Computer programming tools]]

Static program analysis: Difference between revisions