Revision as of 17:36, 4 August 2004 edit 68.119.213.111 (talk) →Formal methods: either [...], either -> "either [...], or" ← Previous edit		Revision as of 00:01, 11 August 2004 edit undo Gadfium (talk \| contribs) Autopatrolled, Administrators 177,317 edits m Disambiguate link, categorise Next edit →
Line 47: #[http://www.absint.com/pag/ PAG] and [http://www.program-analysis.com/ PAG/WWW] #[[PMD]] #[[PREfast]], [[PREfix (software)\|PREfix]] #[[SLAM]] #[[Smatch]] Line 68: [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]] [[Category:Computer programming tools]]

Static program analysis: Difference between revisions