Company:SofCheck Inspector
From HandWiki
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
- ↑ "SofCheck : SoftCheck Inspector : Find Errors Faster". Archived from the original on 2007-09-28. https://web.archive.org/web/20070928034415/http://www.sofcheck.com/products/inspector.html. Retrieved 2009-02-23.
- ↑ "STSC CrossTalk - Being Explicit About Security Weaknesses - Mar 2007". Archived from the original on 2007-05-19. https://web.archive.org/web/20070519125935/http://stsc.hill.af.mil/crosstalk/2007/03/0703Martin.html. Retrieved 2007-04-26.
- ↑ "CodePeer". Archived from the original on 2012-02-23. https://web.archive.org/web/20120223234107/http://www.adacore.com/home/products/codepeer/. Retrieved 2016-08-10.
External links
- SofCheck, Inc. web site
- Video on technology underlying SofCheck Inspector
- SofCheck Inspector to support Common Weakness Enumeration (CWE)
- AdaCore's CodePeer developed in partnership with SofCheck
 |  |
