SoftCheck Inspector

Discover errors in Java bytecodes.
Download

SoftCheck Inspector Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Free to try
  • Price:
  • Free to try
  • Publisher Name:
  • By SofCheck
  • Publisher web site:
  • http://www.sofcheck.com
  • Operating Systems:
  • Windows, Windows XP
  • Additional Requirements:
  • Windows XP/2003 Server
  • File Size:
  • 49.07MB
  • Total Downloads:
  • 357

SoftCheck Inspector Tags


SoftCheck Inspector Description

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.


SoftCheck Inspector Related Software