Loading...
Please wait, while we are loading the content...
Similar Documents
Side-effect analysis with fast escape filter
| Content Provider | ACM Digital Library |
|---|---|
| Author | Tao, Binxian Qian, Ju Zhou, Xiaoyu |
| Abstract | Side-effect analysis is a fundamental static analysis used to determine the memory locations modified or used by each program entity. For the programs with pointers, the analysis can be very imprecise. To improve the precision of side-effect analysis, many approaches design more elaborate background pointer analyses in order to obtain smaller side-effect sets, but very few approaches consider to achieve better precisions by refining the side-effect analysis algorithms themselves. To address the problem, this paper presents a new side-effect analysis approach that uses Gay and Steensgaard's fast escape analysis to filter superfluous side-effects. The approach does not need to modify the background pointer analysis and can filter side-effects in the intraprocedural level and the interprocedural level. The experimental results show that it can effectively improve the analysis precision within a short extra time. |
| Starting Page | 15 |
| Ending Page | 20 |
| Page Count | 6 |
| File Format | |
| ISBN | 9781450314909 |
| DOI | 10.1145/2259051.2259054 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2012-06-14 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Points-to analysis Side-effect analysis Escape analysis |
| Content Type | Text |
| Resource Type | Article |
