Content deleted Content added
→Static checkers: Reply |
|||
Line 23:
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)
::Yes, agree, there should be a SCA-tool list. This has nothing to do with the individual pages mentioned above. Having a SCA-tool list would make it very clear to the audience and provide an overview as is true for many other lists on Wikipedia. I might start this, but call this comment here done because it is also over a decade old and the mentioning of tools under See also etc. should be improved. {{done}} --[[User:17387349L8764|17387349L8764]] ([[User talk:17387349L8764|talk]]) 08:09, 6 April 2021 (UTC)
==Formal Methods==
| |||