Numeric Program Analysis Techniques with Applications to Array Analysis and Library Summarization
University of Wisconsin - Madison Madison United States
Pagination or Media Count:
Numeric program analysis is of great importance for the areas of software engineering, software verification, and security to identify many program errors, such as out-of-bounds array accesses and integer overflows, which constitute the lions share of security vulnerabilities reported by CERT, an analyzer needs to establish numeric properties of program variables. Many important program analyses, such as low-level code analysis, memory-cleanness analysis, and shape analysis, rely in some ways on numeric-program-analysis techniques. However, existing numeric abstractions are complex numeric abstract domains are typically non-distributive, and form infinite-height lattices thus, obtaining precise numeric-analysis results is by no means a trivial undertaking. In this thesis, we develop a suite of techniques with the common goal of improving the precision and applicability of numeric program analysis.
- Computer Programming and Software
- Computer Systems Management and Standards
- Numerical Mathematics