SofCheck Inspector is a static analysis tool that discovers errors in Java bytecodes. It uses static control-flow, data-flow, and possible-value-set propagation (PVP) techniques to identify places where run time errors could occur. This automated software quality technique provides 100% path coverage and allows flaws to be identified and eliminated very early in the software life cycle, before run time. Inspector generates preconditions and postconditions that characterize the behavior of Java code and are useful for white box code inspections. It detects race conditions, index out of bounds, overflows, divide-by-zero, dead code, unused assignments, tests always going one way, or thrown exceptions. This is a 45 day trial version supporting up to 200 classes. The product contains a version of Sun's JRE.
People who downloaded this software also downloaded...
eSoftEasy Business Analytics 1.5
Generate reports from multiple database servers using your SQL.
Clipstream Video 2.2
Implement a streaming video player into your Web page, e-mails, banners, and more.
z/Scope Workbench 6.2 build 4
Access IBM Mainframes, IBM AS/400, and Unix servers from your Windows-based PC.
40tude HTML 3.4
Use this slim HTML editor to create Web pages.
ICE iMap Image Mapper 1.1
Enable a real-time 'WYSIWYG' editing and support each of the major image-map formats as NCSA, CERN, and CSIM.
Auscomp eNavigator Suite 7.5
Navigate through your Web site rendering links into tab and tree or DHTML outlines.
The Designer HTML-DHTML 5.5
Create, edit, and study HTML and DHTML pages.
a-40 1.4
Build file lists without databases.
Web Creator Pro 3.0
Create and customize Web sites and add visual effects.
MoreMotion Web Express 3.3
Design and publish your Web pages.





