- SofCheck Inspector
The SofCheck Inspector [http://451group.com/search/search_results.php?search_text=SofCheck+launches+Inspector+for+static+code+analysis] is a static analysis tool for Java and Ada. It statically determines and documents the pre- and
postcondition s of every method or subprogram it inspects, and uses that information to identify logic flaws [http://stsc.hill.af.mil/crosstalk/2007/03/0703Martin.html] ,race condition s, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. TheSofCheck Inspector is produced bySofCheck, Inc.,a software product company in Burlington, MA.ee also
*
Static code analysis
*Software testing
*Software Security Assurance
*List of tools for static code analysis External links
* [http://www.sofcheck.com SofCheck website]
* [http://www.adacore.com/home/ada_answers/lectures/ada_uk07/#video_06 Video on technology underlying SofCheck Inspector]
* [http://cwe.mitre.org/news/index.html#20070305b SofCheck Inspector to support Common Weakness Enumeration (CWE)]
* [http://stsc.hill.af.mil/crosstalk/2007/03/0703Martin.html CrossTalk article on CWE]
* [http://451group.com/search/search_results.php?search_text=SofCheck+static+code+analysis+java+testing 451 Group Market Analysis Reports]
Wikimedia Foundation. 2010.
