SofCheck Inspector
From Wikipedia, the free encyclopedia
The SofCheck Inspector[1] 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, MA.
The SofCheck Inspector static analysis engine is used within the CodePeer [3] static analysis product from AdaCore.
[edit] See also
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis
[edit] External links
 |
This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please improve this article by introducing more precise citations. (September 2010) |
