SoftCheck Inspector for Windows

Name: SoftCheck Inspector
Rating: 4 (1 reviews)
Author: SofCheck

By SofCheck
Trial version
User Rating

Download now

Used SoftCheck Inspector for Windows? Share your experience and help other users.

Key Details of SoftCheck Inspector

Discover errors in Java bytecodes.
Last updated on July 24, 2015
There have been 4 updates
Virus scan status:
Clean (it’s extremely likely that this software program is clean)

Developer’s Description

By SofCheck

Discover errors in Java bytecodes.

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.