Icon of program: SoftCheck Inspector

SoftCheck Inspector for Windows

Download now

Used SoftCheck Inspector for Windows?

Editors’ Review

Download.com staff
SofCheck Inspector is a static analysis tool that finds Java bytecode errors early using advanced techniques. It ensures 100% path coverage for robust code.

  • Pros

    • Detects race conditions and common runtime errors
    • Identifies dead code and unused assignments
    • Provides 100% path coverage
    • Generates useful preconditions and postconditions
    • Enables early flaw detection in development

  • Cons

    • Limited to 200 classes
    • Trial version with 45-day limit
Icon of program: SoftCheck Inspector

SoftCheck Inspector for Windows

Download now

Used SoftCheck Inspector for Windows?

Explore More

Full Specifications

GENERAL
Release
Latest update
Version
2
OPERATING SYSTEMS
Platform
Windows
Operating System
  • Windows 10
  • Windows XP
Additional Requirements
Windows XP/2003 Server
POPULARITY
Total Downloads
373
Downloads Last Week
14
Report Software

Program available in other languages

Last Updated

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.
Download.com
Your review for SoftCheck Inspector