Approved by:

Software defects cost our economy a significant amount of money. Techniques that can detect software defects before the software begins its operational lifecycle are therefore highly valuable. Unfortunately, as software is becoming more ubiquitous, it is also becoming more complex. Static analysis of software can be computationally intensive, and as software becomes more complex the computational demands of any analysis applied increase also. While increasingly complex software entails more computationally demanding analysis, the computational capabilities provided by computers have increased exponentially over the last half century of computing. Historically, the increase in computational capability has come by increasing the clockspeed of the computer’s central processing unit (CPU.) In the last several years, engineering limitations have made it increasingly difficult to build CPU’s with progressively higher clock speeds. Instead, processor manufacturers now provide increased capability in the form of ‘multi-core ’ CPUs; where each processor package contains two or more processing units, enabling that processor to execute more than one task concur-rently. This thesis describes the design and implementation of a parallel version of symboli