A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Improving software security with a C pointer analysis
2005
Proceedings of the 27th international conference on Software engineering - ICSE '05
This paper presents a context-sensitive, inclusion-based, field-sensitive points-to analysis for C and uses the analysis to detect and prevent security vulnerabilities in programs. In addition to a conservative analysis, we propose an optimistic analysis that assumes a more restricted C semantics that reflects common C usage to increase the precision of the analysis. This paper uses the proposed pointer alias analyses to infer the types of variables in C programs and shows that most C variables
doi:10.1145/1062455.1062520
dblp:conf/icse/AvotsDLL05
fatcat:sovay67qjfdmzkhtj54ccpuvxi