Detail produktu

Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs

Vznik: 2018

Název česky
Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou
Typ
software
Licence
vyžadována - zdarma
Autoři
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Sinn Moritz, Dr. (FHS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Zuleger Florian, Dr. (FORSYTE)
Popis

Ranger je rozsireni nastroje Forester, ktery prevadi vstupni programy manipulujici s haldou do odpovidajicich aritmetickych program, ktere dale muzou byt analyzovany pomoci analyzeru konecnosti behu nebo mezi. Hlavni metoda je zalozena na hledani tzv. numerickych mer (normech), jako jsou napriklad delky listu nebo nejdelsi cesty ve strome, a na zaklade vysledku analyzy tvaru odvozuje mnozinu zmen v normech, ktere jsou dale transformovany na aritmeticke prikazy. Vysledne programy jsou pak analyzovany pomoci analyzatoru mezi (predevsim nastrojem Loopus). Precizni analyza zmen navic umoznuje zpracovat programy, ktere vyzaduji amortizovany pristup pro ziskani presnych mezi.

Umístění
Projekty
Výzkumné skupiny
Pracoviště
Nahoru