Revision as of 19:38, 16 October 2007 edit Andreas Kaufmann (talk \| contribs) Extended confirmed users, Pending changes reviewers 7,180 edits →Static checkers ← Previous edit		Revision as of 20:07, 29 November 2007 edit undo Dave clark86 (talk \| contribs) 63 edits No edit summary Next edit →
Line 18: I see a list of static checkers in the external links. I don't want to spam the article unnecessarily, but does it make sense to add a list of them? At least some of the more notable ones like FXCop (http://www.gotdotnet.com/Team/FxCop/) or PMD (http://pmd.sourceforge.net/). Thoughts? This isn't my article, so I didn't want to step on toes. [[User:129.93.177.174\|129.93.177.174]] 17:20, 16 October 2007 (UTC) : Both of them already have articles, see [[FxCop]] and [[PMD (software)]]. [[User:Andreas Kaufmann\|Andreas Kaufmann]] 19:38, 16 October 2007 (UTC) ==Formal Methods== Why is the bit about formal methods included in this page and then there is a link to the full page that already exists on wikipedia?

Talk:Static program analysis: Difference between revisions