I came across a listing of static code checkers in IEEE Software this month, and thought I'd list them here in case anyone wants to develop a sensor in their spare time. :-)

ESC/Java 2 (Extended Static Checker)
<http://secure.ucd.ie/products/opensource/ESCJava2/>

JLint
<http://jlint.sourceforge.net/>

Lint4J
<http://www.jutils.com/>

FxCop
<http://www.gotdotnet.com/team/fxcop/>

DevAdvantage
<http://www.anticipatingminds.com/content/Products/devAdvantage/devAdvantage.aspx>

Flaw-Finder:
<http://www.dwheeler.com/flawfinder/>

ITS4:
<http://www.cigital.com/its4/>

Splint:
<http://www.splint.org/>

Rats:
<http://www.securesoftware.com/resources/download_rats.html>

Reply via email to