Reduced product of abstract domains
J. Dupal · 2013
Abstraktni interpretace, jakož jedna z metod staticke analýzy programů, je nachylna na výskyt falesně pozitivnich chyb způsobených nepřesnou aproximaci hodnot programu. Redukovaný produkt abstraktnich domen poskytuje mechanizmus pro vylepseni celkove přesnosti analýzy pomoci zavedeni vzajemneho zjemňovani abstraktnich domen. Tato prace poskytuje teoretický zaklad, navrh a implementaci redukovaneho produktu v kontextu projektu Canal, což je nastroj pro abstraktni analýzu zaměřen na skalovatelnost k velkým programům a korektni podporu skutecných zdrojových kodů.