How does SofCheck Inspector work?
SofCheck Inspector technology goes well beyond the normal type checking provided by some programming languages, and scales better than alternative static error detection approaches such as program verification or model checking. SofCheck Inspector is designed to support large, multi-language systems and to detect a wide range of programming errors such as misuse of pointers, array index out of bounds (buffer overruns, a recognized source of security breaches), numeric overflows, numeric wraparounds, dimensional unit mismatch, storage leaks, and improper use of Application Programming Interfaces (APIs). 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 runtime failures, and the postconditions to characterize the range of outputs. SofCheck Inspector also pinpoints the root cause of each error down to t
