SofCheck Inspector

{{More footnotes|date=August 2016}}

The SofCheck Inspector{{cite web|url=http://www.sofcheck.com/products/inspector.html |title=SofCheck : SoftCheck Inspector : Find Errors Faster |accessdate=2009-02-23 |url-status=dead |archiveurl=https://web.archive.org/web/20070928034415/http://www.sofcheck.com/products/inspector.html |archivedate=2007-09-28 }} is a static analysis tool for Java and Ada. It statically determines and documents the pre- and postconditions of Java methods or Ada subprograms, and uses that information to identify logic flaws,{{cite web |url=http://stsc.hill.af.mil/crosstalk/2007/03/0703Martin.html |title=STSC CrossTalk - Being Explicit About Security Weaknesses - Mar 2007 |accessdate=2007-04-26 |url-status=dead |archiveurl=https://web.archive.org/web/20070519125935/http://stsc.hill.af.mil/crosstalk/2007/03/0703Martin.html |archivedate=2007-05-19 }} race conditions, and redundant code in an individual Java class or Ada package, a subsystem, or a complete program. The SofCheck Inspector is produced by SofCheck, Inc., a software product company in Burlington, Massachusetts.

The SofCheck Inspector static analysis engine is used within the CodePeer{{cite web |url=http://www.adacore.com/home/products/codepeer/ |title=CodePeer |website=AdaCore.com |accessdate=2016-08-10 |url-status=dead |archiveurl=https://web.archive.org/web/20120223234107/http://www.adacore.com/home/products/codepeer/ |archivedate=2012-02-23 }} static analysis product from AdaCore.