Article · Wikipedia archive · Last revised May 27, 2026

SofCheck Inspector

The SofCheck Inspector 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, 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.

Last revised
May 27, 2026
Read time
≈ 1 min
Length
183 w
Citations
3
Source
Wikipedia ↗

The SofCheck Inspector1 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,2 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 CodePeer3 static analysis product from AdaCore.

See also

See also

References

References

  1. "SofCheck : SoftCheck Inspector : Find Errors Faster". Archived from the original on 2007-09-28. Retrieved 2009-02-23.
  2. "STSC CrossTalk - Being Explicit About Security Weaknesses - Mar 2007". Archived from the original on 2007-05-19. Retrieved 2007-04-26.
  3. "CodePeer". AdaCore.com. Archived from the original on 2012-02-23. Retrieved 2016-08-10.
External links