High-level static analysis for generic libraries

Authors
Gregor, Douglas
ORCID
Loading...
Thumbnail Image
Other Contributors
Schupp, Sibylle
Field, John
Krishnamoorthy, M. S.
Milanova, Ana
Musser, David R.
Issue Date
2004-05
Keywords
Computer science
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
Abstract
This thesis introduces a higher-level static analysis that employs executable specifications of software libraries to reduce the complexities of library analysis and improve analysis precision. Moreover, our analysis exploits object-oriented abstractions to improve the precision of analysis for a very important class of iterator movement problems. Other abstractions, such as subroutine abstractions and pointer, are effectively handled with symbolic analysis methods, even in program loops with nontraditional induction variables.
Description
May 2004
School of Science
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.