BURLINGTON, Mass. (May 21, 2007)— SofCheck Inspector for Java was one of nine different Java static analysis tools, among five open source tools and four commercial offerings, recently evaluated in a study by researchers at the University of Toledo. Although named individual ranking were not published, it was reported that Sofcheck Inspector had the 2^nd highest level of fault detection and the lowest level of false positives reported for any the tools in the soon-to-be-published study, “Evaluating the Effectiveness of Java Static Analysis Tools.”

Researcher and Ph.D. candidate Walter W. Shilling, Jr., stated,

“Overall, I have been very happy with the SofCheck tool from an analysis standpoint. It by far has one of the lowest false positive rates of the tools I have worked with thus far (Java and C combined).”

SofCheck Inspector has unique capabilities. It uses static control flow, data flow, and possible-value-set propagation techniques to identify places where run-time errors could occur. This automated software quality technique automatically determines the pre- and postconditions of every method in the system and uses these to predict where errors could occur. Inspector provides 100% path coverage and allows flaws to be identified and eliminated very early in the software life cycle, before run time. Its low false positive rate is attributable to the fact that it performs deep analysis of the semantic underpinnings of the program rather than simple syntactic or programming style checking.

About SofCheck

SofCheck is a privately held company whose clients include: Raytheon, United Technologies, and the Boeing Company. For further information, visit www.sofcheck.com, contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781) 750-8064, or E-mail info@sofcheck.com.

Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026

< Back to Press Releases