Detta dokument presenterar en ny klientdriven pointer analysalgoritm som automatiskt justerar sin precision som svar på behoven hos klientanalyser. Med hjälp av fem betydande feldetekteringsproblem som kunder utvärderar vi vår algoritm på 18 riktiga C-program. Vi jämför exaktheten och prestandan hos vår algoritm mot flera vanliga fasta precisionsalgoritmer. Vi finner att den kunddrivna metoden effektivt balanserar kostnader och precision, ofta ger resultat lika exakt som fasta precisionsalgoritmer som är många gånger dyrare. Vår algoritm fungerar eftersom många klientproblem bara behöver en liten mängd extra precision tillämpas på utvalda delar av varje inmatningsprogram.
Kunddriven pekaranalys analyserar behoven hos en viss klient och tillämpar flödeskänslig pekaranalys endast på delar av programmet som kräver den nivån av precision REF.
Error checking with client-driven pointer analysis
{'venue': 'Science of Computer Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}