ISU Electrical and Computer Engineering Archives

Detection of static flaws in changesets

De Graaf, Daniel (2010) Detection of static flaws in changesets. Masters thesis, Iowa State University.

Full text available as:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.


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.

EPrint Type:Thesis (Masters)
Uncontrolled Keywords:static analysis, source control, null pointer dereference
Subjects:Computer Engineering > SOFTWARE SYSTEMS > Software Engineering
ID Code:566
Identification Number:Identification Number UNSPECIFIED
Deposited By:Daniel De Graaf
Deposited On:21 July 2010

Archive Staff Only: edit this record