Date of Award
Master of Science
Electrical and Computer Engineering
Tien N. Nguyen
When performing static analysis checks intended to find flaws in software, information on the
software's history is often ignored in the identification of bugs. This history information can
improve the identification of the introductions several types of bugs, and can be used to reduce the
false-positive rate of simple analysis tools.
A method for static detection of null pointer dereferences by examining changes in a distributed
development environment is presented. A static analysis used to detect null pointer dereferences is extended to highlight potentially dangerous state changes that point to the accidental introduction
of such flaws.
Daniel George De Graaf
De Graaf, Daniel George, "Detection of Static Flaws in Changesets" (2010). Graduate Theses and Dissertations. 11320.