Vi presenterar en metod för selektiv tillämpning av sammanhangskänslighet vid interprocedural programanalys. Vår metod tillämpar sammanhangskänslighet endast när och där det är sannolikt att förbättra precisionen som är viktig för att lösa givna frågor. Tanken är att använda en föranalys för att uppskatta kontextkänslighetens inverkan på huvudanalysens precision, och att använda denna information för att ta reda på när och var huvudanalysen ska slå på eller stänga av dess sammanhangskänslighet. Vi formaliserar detta tillvägagångssätt och bevisar att analysen alltid drar nytta av den föranalysstyrda kontextkänsligheten. Vi implementerade denna selektiva metod för en befintlig industri-styrka intervallanalysator för full C. Metoden minskade antalet (falska) larm med 24,4%, samtidigt öka analyskostnaden med 27,8% i genomsnitt. Användningen av den selektiva metoden är inte begränsad till kontextkänslighet. Vi visar denna allmängiltighet genom att följa samma princip och utveckla en selektiv relationsanalys.
I Ref föreslogs en metod som gör en förhandsanalys för att uppskatta kontextkänslighetens inverkan på huvudanalysen.
Selective context-sensitivity guided by impact pre-analysis
{'venue': "PLDI '14", 'journal': None, 'mag_field_of_study': ['Computer Science']}