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
|