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...
| Հիմնական հեղինակներ: | , , , , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Association for Computing Machinery
2014
|