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 every method or subprogram it inspects, 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. TheSofCheck Inspector is produced bySofCheck, Inc.,a software product company in Burlington, MA.
[edit] See also
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis
