SofCheck Inspector
Jump to navigation
Jump to search
 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (August 2016) |
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, Massachusetts.
The SofCheck Inspector static analysis engine is used within the CodePeer[3] static analysis product from AdaCore.
See also
[edit | edit source]- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis
References
[edit | edit source]- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).