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...
Adobe Integrated Runtime (AIR) 1.1
Enable rich Internet applications created with the Adobe development platform.
NuSphere PhpED 5.5
Create Web sites and applications using PHP, XML, and CSS style sheets.
Serv-U 7.3.0.1
Turn any PC with a network connection into a secure FTP site.
eSoftEasy Business Analytics 1.5
Generate reports from multiple database servers using your SQL.
CSS Menu Generator 3.4
Generate various menus for you Web pages.
Clipstream Video 2.2
Implement a streaming video player into your Web page, e-mails, banners, and more.
Feed Editor Lite 2.7
Create and edit RSS feeds.
Encrypt HTML Pro 3
Encrypt your HTML code from being viewed by visitors to your Web pages.
Alinous-Core HTML SQL Language Server IDE 1.0.71
Create WebDB applications with almost only SQL and HTML.
Altova StyleVision Enterprise Edition 2008
Convert traditional HTML Web sites into advanced XML-based sites.








