SofCheck Inspector
This article includes a list of general references, but it remains largely unverified because 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[]
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis
References[]
- ^ "Archived copy". Archived from the original on 2007-09-28. Retrieved 2009-02-23.
{{cite web}}
: CS1 maint: archived copy as title (link) - ^ "Archived copy". Archived from the original on 2007-05-19. Retrieved 2007-04-26.
{{cite web}}
: CS1 maint: archived copy as title (link) - ^ "CodePeer". AdaCore.com. Archived from the original on 2012-02-23. Retrieved 2016-08-10.
External links[]
Categories:
- Static program analysis tools
- Java development tools
- Java platform software
- Development software companies
- Software companies based in Massachusetts
- Software companies of the United States