What components does SofCheck Inspector identify?
SofCheck Inspector considers every callable unit (function, procedure, or method) as a component. Generally, it identifies every variable modified by each component, every variable that is read only, and every newly allocated object. For each component, the Inspector generates pre-conditions that must hold true to avoid runtime failures, and post-conditions that are guaranteed to hold when the component is called. SofCheck Inspector generates an annotated code listing on a per-source-file basis, containing the above characterization of each component.
