SofCheck logo          
SofCheck logo
Products
Solutions
Company
Resources
News & Events
Careers
spacer spacer spacer spacer
    SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study  
 

Other News:

Download Free Trial of SofCheck Inspector™...

CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology

SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005

SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!

SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review

SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008: Automatic Storage Management and Persistence of Complex Data Structures.

SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada

SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!

SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java

SofCheck partners with Charles River Analytics to win SBIR for transition tools for Ada

SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference

SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM

SofCheck announces Malware Detection capability in SofCheck Inspector&trade tool set

SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study...

SofCheck Expands International Reach Through Distribution Agreement with Praxis High Integrity Systems...

SofCheck Names Caruso to Advisory Board...

SofCheck Joins Ada Resource Association...

Ada Helps Churn Out Less-Buggy Code...

 

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 2nd 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

:: Printer-friendly version

< Back to Press Releases

 

 
     
Home  |  Products  |  Company  |  News & Events  |  Careers    
Site Map  |  Contact

© 2002-2008 SofCheck, Inc. All rights reserved.
SofCheck, SofCheck Inspector, AdaMagic, ERA Framework,
and SofPort are trademarks of SofCheck, Inc.