Degree Type

Thesis

Date of Award

2010

Degree Name

Master of Science

Department

Electrical and Computer Engineering

First Advisor

Tien N. Nguyen

Abstract

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.

Copyright Owner

Daniel George De Graaf

Language

en

Date Available

2012-04-30

File Format

application/pdf

File Size

32 pages

Share

COinS