SofCheck Inspector
title: "SofCheck Inspector" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["static-program-analysis-tools", "java-development-tools", "java-platform-software"] topic_path: "general/static-program-analysis-tools" source: "https://en.wikipedia.org/wiki/SofCheck_Inspector" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
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.
The SofCheck Inspector static analysis engine is used within the CodePeer static analysis product from AdaCore.
References
References
- "SofCheck : SoftCheck Inspector : Find Errors Faster".
- "STSC CrossTalk - Being Explicit About Security Weaknesses - Mar 2007".
- "CodePeer".
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::