Strong Update for Object-Oriented Flow-Sensitive Points-To Analysis
Points-to analysis is a static analysis that approximates which memory locations each program expression may refer to. Many client analyses use points-to information to optimize compilers or reason about program security. The effectiveness of the client analyses relies on the precision of the points...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
Harvard University
2015
|
| Subjects: | |
| Online Access: | http://nrs.harvard.edu/urn-3:HUL.InstRepos:14398535 |