SofCheck Inspector SofCheck Inspector is a static analysis tool that discovers errors in Java bytecode.
Download

SofCheck Inspector Ranking & Summary

SofCheck Inspector Tags

Static analysis detect error error inspector ROI maximizer error detect detector inspector Java bytecode bytecode Java bytecode generator CPython bytecode Professional Inspector productivity inspector bytecode compiler file inspector PC Inspector reverse bytecode bytecode debugger monitor java bytecode analyze java bytecode bytecode trace Static Code Analysis Program Inspector static structural analysis bytecode weaver Mixed Bytecode Compatibility Inspector static analysis tool instrument Java bytecode modify bytecode Java Bytecode Analysis Java bytecode transformation bytecode modification generate Java bytecode Java heap analysis ByteCode viewer Java bytecode manipulation Java bytecode framework Site Inspector Java code static analysis view Java bytecode Java bytecode viewer decompile Java bytecode

SofCheck Inspector Description

SofCheck Inspector is a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing. It integrates into existing development tools and processes. SofCheck Inspector performs line-by-line testing in a fully automated way, and guarantees full path coverage. SofCheck Inspector finds defects early in the development process-in conjunction with compilation-when they are least costly to repair. In addition, it may be run on existing code to find latent defects before they become a problem in the field. SofCheck Inspector will support large systems and detect a wide range of programming errorssuch as misuse of pointers, indexing out of arrays, buffer overflows (a prevalent source of security storage leaks,) numeric overflows, numeric wraparounds, and improper use of Application Programming Interfaces (APIs). It pinpoints the root cause of each error down to the source line of code. Even in the absence of explicit errors, SofCheck Inspector provides a thorough characterization of every component of the system in terms of its inputs, outputs, heap object creations, the preconditions on the inputs necessary to preclude run-time failures, the presumptions about return values of external methods, and the postconditions that characterize the range of outputs. An inspection may be launched from the command line or interactively, using the SofCheck Inspector Console.

SofCheck Inspector Related Software