Inkonsekvent kontroll är en metod för att upptäcka programvarufel som endast bygger på att undersöka flera användningsområden av ett värde. Vi föreslår att inkonsekvensen bäst uppfattas som en variant av det äldre och bättre förstådda problemet med typinferens. Med hjälp av denna insikt beskriver vi en exakt och formell ram för att upptäcka inkonsekvensfel. Till skillnad från tidigare synsätt på problemet är vår teknik för att hitta inkonsekvensfel rent semantisk och kan hantera komplexa alias och vägkänsliga villkor. Vi har byggt en null dereferens analys av C-program baserat på semantisk inkonsekvens inferens och har använt den för att hitta hundratals tidigare okända null dereferens fel i allmänt använda C-program.
Till exempel Dillig et al. REF använder inkonsekvent användning av samma pekare för att hitta fel med nollpoängare.
Static error detection using semantic inconsistency inference
{'venue': "PLDI '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}