Ranger: Nástroj pro Analýzu Mezí Programů Manipulujících s Haldou

Autoři:Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian
Typ:software
Vznik:2018
Licence:vyžadována - zdarma
Klíčová slova:forest automata
bounds analysis
arithmetic program generation
shape analysis
amortized complexity
numerical measures
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í:
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
Výzkumné skupiny:
Pracoviště:
Licenční podmínky:
Free software under the terms of GNU GPL (cf.http://www.gnu.org/licenses/gpl.html).

Vaše IPv4 adresa: 107.23.129.77
Přepnout na https