Selective context-sensitivity guided by impact pre-analysis
<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only when and where doing so is likely to improve the precision that matters fo...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2014
|
| _version_ | 1797069507175383040 |
|---|---|
| author | Oh, H Lee, W Heo, K Yang, H Yi, K |
| author_facet | Oh, H Lee, W Heo, K Yang, H Yi, K |
| author_sort | Oh, H |
| collection | OXFORD |
| description | <br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only when and where doing so is likely to improve the precision that matters for resolving given queries. The idea is to use a pre-analysis to estimate the impact of contextsensitivity on the main analysis’s precision, and to use this information to find out when and where the main analysis should turn on or off its context-sensitivity. We formalize this approach and prove that the analysis always benefits from the pre-analysisguided context-sensitivity. We implemented this selective method for an existing industrial-strength interval analyzer for full C. The method reduced the number of (false) alarms by 24.4%, while increasing the analysis cost by 27.8% on average.</br><br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">The use of the selective method is not limited to contextsensitivity. We demonstrate this generality by following the same principle and developing a selective relational analysis.</br> |
| first_indexed | 2024-03-06T22:25:29Z |
| format | Conference item |
| id | oxford-uuid:5688594c-bb84-4bcb-bf01-c841afc2bc0c |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:25:29Z |
| publishDate | 2014 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | oxford-uuid:5688594c-bb84-4bcb-bf01-c841afc2bc0c2022-03-26T16:50:51ZSelective context-sensitivity guided by impact pre-analysisConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5688594c-bb84-4bcb-bf01-c841afc2bc0cSymplectic Elements at OxfordAssociation for Computing Machinery2014Oh, HLee, WHeo, KYang, HYi, K<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only when and where doing so is likely to improve the precision that matters for resolving given queries. The idea is to use a pre-analysis to estimate the impact of contextsensitivity on the main analysis’s precision, and to use this information to find out when and where the main analysis should turn on or off its context-sensitivity. We formalize this approach and prove that the analysis always benefits from the pre-analysisguided context-sensitivity. We implemented this selective method for an existing industrial-strength interval analyzer for full C. The method reduced the number of (false) alarms by 24.4%, while increasing the analysis cost by 27.8% on average.</br><br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">The use of the selective method is not limited to contextsensitivity. We demonstrate this generality by following the same principle and developing a selective relational analysis.</br> |
| spellingShingle | Oh, H Lee, W Heo, K Yang, H Yi, K Selective context-sensitivity guided by impact pre-analysis |
| title | Selective context-sensitivity guided by impact pre-analysis |
| title_full | Selective context-sensitivity guided by impact pre-analysis |
| title_fullStr | Selective context-sensitivity guided by impact pre-analysis |
| title_full_unstemmed | Selective context-sensitivity guided by impact pre-analysis |
| title_short | Selective context-sensitivity guided by impact pre-analysis |
| title_sort | selective context sensitivity guided by impact pre analysis |
| work_keys_str_mv | AT ohh selectivecontextsensitivityguidedbyimpactpreanalysis AT leew selectivecontextsensitivityguidedbyimpactpreanalysis AT heok selectivecontextsensitivityguidedbyimpactpreanalysis AT yangh selectivecontextsensitivityguidedbyimpactpreanalysis AT yik selectivecontextsensitivityguidedbyimpactpreanalysis |