Abstract—Static analysis is one method that offers potential for
reducing errors in delivered software. Static analysis is currently
used to discover buffer overflows and mathematical errors, as
well as verifying compliance with documented programming
standards. Static analysis is routinely used in safety critical software
applications within the avionics and automotive industries.
Outside of these applications, static analysis is not a routinely
taught method for software development. This paper intends to
provide a quantitative measure for evaluating the effectiveness
of static analysis as well as presenting results from an academic
environment.