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
|