Loading...
Please wait, while we are loading the content...
Similar Documents
Field-sensitive pointer analysis for C
| Content Provider | Semantic Scholar |
|---|---|
| Author | Pearce, David James Kelly, Paul H. J. Hankin, Chris |
| Copyright Year | 2004 |
| Abstract | The subject of this paper is flowand context-insensitive pointer analysis. We present, for the first time, a fieldsensitive constraint-based analysis for C and evaluate its effects on time and precision. In addition, we study in detail four solving algorithms, including the Heintze-Tardieu solver, over 7 common C programs ranging in size from 5000 to 150,000 lines of code. Our results indicate the fieldsensitive analysis is more expensive to compute, but more precise. We also find the Heintze-Tardieu solver to be a robust choice and we examine why. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://homepages.mcs.vuw.ac.nz/~djp/files/tr1103.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |