Detail produktu
Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs
Vznik: 2018
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Sinn Moritz
Zuleger Florian, Dr.
forest automata
bounds analysis
arithmetic program generation
shape analysis
amortized complexity
numerical measures
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.
Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/ranger/ a https://pajda.fit.vutbr.cz/ifiedortom/forester-resource-bounds
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-12-31, ukončen