|| Software Assessment Tools - Finding Bugs ||
1 Bandera Java Virtual Java Machine Dec www.cis.ksu.edu/santos/bandera/ 2 Cantata C/C++ Windows, Linux M www.iplbath.com/ 3 Cantata++ C++ Windows, Linux M www.ipbath.com/ 4 C-Cover C windows, Unix M,D www.bullseye.com 5 CheckMate C/C++ Virtual Java Machine M www.bluestone-sw.com 6 Cleanscape LintPlus C Linux M,DEE www.cleanscape.net/stdprod/lplus/indes.html 7 CMT++ C/C++ Windows NT/95, Unix, Linux M www.testwell.fi 8 CodeSurfer C Siolaris, Windows Dec www.codesurfer.com 9 CodeWizard C++ Windows, Unix M www.parasoft.com 10 Cscope C Unix,Linux M http://cscope.sourceforge.net/ 11 Extended static Checking Java Windows, Unix, Linux, Solaris DEE http://research.compaq.com/SRC/esc/download.html 12 FlexeLint C/C++ Unix DEE www.gimpel.com 13 Hindsight C/C++,Fortran Unix, Linux M www.integrisoft.com 14 Imagix 4D C/C++ Windows, Linux,Solaris GFC www.imagix.com/products/products.html 15 Instant QA C/C++ DEE www.reasoning.com/ 16 IRIS C++ Unix GFC http://laser.cs.umass.edu/tools/process.htm 17 IST4 C/C++ Window, Unix DEE www.cigital.com/its4/ 18 Java Anayzer Java Java Virtual Machine DEE http://students.cs.byu.edu/~larson/absint/DemoApplet.html 19 JavaWizard Java Windows DEE http://csdl.ics.hawaii.edu/Tools/JWiz/JWiz.html 20 Jex Java Windows DEE www.cs.ubc.ca/~mrobilla/jex/ 21 Jtest Java Windows, Linux,Solaris M www.parasoft.com 22 LCLint C Windows, Linux,Solaris DEE http://lclint.cs.virginia.edu/ 23 LDRA Testbed Ada, Cocol, C/C++, Fortran, Pascal, Algol, Assembler DEE www.ldra.com 24 McCabe QA M www.mccabe.com 25 Metamata Java M, DEE www.webgain.com/products/metamata/ 26 Panorama Java M, DEE www.softwareautomation.com/statican.htm 27 PB Code Analyzer Windows M www.ascensionlabs.com/pbcodeanalyzer.htm 28 PC-lint C/C++ Windows, DOS OS/2 DEE www.gimpel.com 29 Plum Hall SQS C/C++ M www.plumhall.com 30 PolySpace C Verifier C Windows, Linux, Solaris DEE www.polyspace.com 31 Prodag Solaris 5.5 Dep www.ics.uci.ddu/~softtest/prodag.html 32 QA C C Windows, Solaris M www.prqa.co.uk 33 QA C++ C++ Windows, Solaris M www.prqa.co.uk 34 QA-C/C++ C/C++ Windows 95/NT, Unix M www.qa-systems.com/products/ 35 Qstudio Java Java Windows, Solaris, Linux M www.qa-systems.com/products/ 36 Qstudio Java Lite Java Windows, Solaris, Linux M www.qa-systems.com/products/ 37 Safer C Toolset C Windows, Linux M, DEE www.oakcomp.co.uk/SoftwareProducts.html 38 Sniff+ C/C++, Java, Ada Windows NT, Solaris, Linux M www.wrs.com/products/html/sniff.html 39 STATIC C DEE www.soft.com/Products/Advisor/static.html 40 Understand for C++ C/C++ Windows, Linux,Solaris M www.scitools.com 41 Understand for C++ C/C++ Windows, Linux,Solaris M www.scitools.com 42 Unravel C Unix Dec http://hissa.nist.gov/unravel/ 43 VISTA C Unix www.cigital.com/VISTA-demo/ 44 Wasp Java,Modula-2 Windows NT/95 DEE www.iis.nsk.su/wasp/