Practical static analysis framework for inference of security-related program properties

Authors
Liu, Yin
ORCID
Loading...
Thumbnail Image
Other Contributors
Milanova, Ana
Fink, Stephen
Krishnamoorthy, M. S.
Musser, David R.
Varela, Carlos A.
Issue Date
2010-05
Keywords
Computer science
Degree
PhD
Terms of Use
Attribution-NonCommercial-NoDerivs 3.0 United States
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
Abstract
Description
May 2010
School of Science
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
CC BY-NC-ND. Users may download and share copies with attribution in accordance with a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License. No commercial use or derivatives are permitted without the explicit approval of the author.