A system and method for certifying software for essential and
security-critical systems. The system and method provide a methodology
and corresponding analysis engines increase the level of confidence that
common vulnerabilities are not present in a particular application. A
pipeline system consisting of independent modules which involve
increasingly complex analysis is disclosed. The pipeline approach allows
the user to reduce computation time by focusing resources on only those
code segments which were not eliminated previously in the pipeline.