Master of Science / Department of Computing and Information Sciences / Robby / Software defects cost our economy a significant amount of money. Techniques
that can detect software defects before the software begins its operational
life-cycle 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 clock speed 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 concurrently. This thesis describes the design and
implementation of a parallel version of symbolic execution which can take
advantage of modern multi-core and multi-processor systems to complete analysis
of software units in a reduced amount of time.
| Identifer | oai:union.ndltd.org:KSU/oai:krex.k-state.edu:2097/1643 |
| Date | January 1900 |
| Creators | King, Andrew |
| Publisher | Kansas State University |
| Source Sets | K-State Research Exchange |
| Language | en_US |
| Detected Language | English |
| Type | Thesis |
Page generated in 0.0018 seconds