SofCheck Inspector 2.1268

SofCheck Inspector is a static analysis tool that discovers errors in Java bytecode. 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 errors such 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.
Main features:
- Find More Errors. Faster.
- Speed Time to Market
- SofCheck Inspector Maximizes Your ROI
- Easily Integrates with Existing Systems
- SofCheck Testing Assures Code Confidence
System requirements:
- SofCheck Inspector runs on servers with the Intel x86, Intel x64, Sun Sparc, and Sun x64 CPUs
- Static error detection is complex and time consuming, and will benefit from all the speed (CPU) and memory (RAM) that can be made available.
- Dual core 2.0 GHz or greater CPUs can inspect about 1,000 lines of code per minute.
- SofCheck recommends 2 GB of RAM or more. More complex inspections will require more memory. Four GB of RAM is a practical limit for many 32-bit operating systems.
- Most 64-bit operating systems can take advantage of more than 4 GB of physical RAM, if available.
Version restrictions:
- 45 days trial
- 200 Java Class Files or less.