|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
 |
|
|
|
|
||
| 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 Is Simple Talks Geek of the Week! SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video! 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 Names Caruso to Advisory Board... |
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
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:
|
|||||
|