High-level static analysis for generic libraries

Thumbnail Image
Files
174912_thesis.pdf (7.09 MB)
Authors
Gregor, Douglas
Issue Date
2004-05
Type
Electronic thesis
Thesis
Language
ENG
Keywords
Computer science
Research Projects
Organizational Units
Journal Issue
Alternative Title
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
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Terms of Use
Journal
Volume
Issue
URI
https://hdl.handle.net/20.500.13015/1341
PubMed ID
DOI
ISSN
EISSN
Collections
RPI Theses Online (Complete)