Abstrakt. Vi presenterar en teknik för att upptäcka semantiskt ogenomförbara vägar i program med abstrakt tolkning. Vår teknik använder en sekvens av väg-okänslig framåt och bakåt körningar av en abstrakt tolk för att dra slutsatser vägar i styrflöde grafen som inte kan utövas i konkreta utföranden av programmet. Vi presenterar sedan en syntaktisk språkförfining (SLR) teknik som automatiskt utesluter semantiskt ogenomförbara vägar från ett program under statisk analys. SLR låter oss iterativt bevisa fler egenskaper. Specifikt simulerar vår teknik effekten av en vägkänslig analys genom att utföra syntaktisk språkförfining över en underliggande patologisk statisk analysator. Slutligen presenterar vi experimentella resultat för att kvantifiera hur vår teknik påverkar en abstrakt tolk för C-program.
Dessutom har Balakrishnan m.fl. REF presenterade en syntaktisk språkförfiningsteknik som automatiskt utesluter semantiskt ogenomförbara vägar från ett program.
SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement
{'venue': 'In SAS, volume 5079 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}