Looper: A Worst Case Cost Analyser, Version 1.0

Název česky

Looper: analyzátor nejhorší ceny, verze 1.0

Typ

software

Licence

vyžadována - zdarma

Autoři

Pavela Ondřej, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)

Popis

Jedná se o první verzi statického analyzátoru nejhorší možné doby výpočtu funkcí založenou na myšlenkách původně zavedených v analyzátoru Loopus, jehož autory byli M. Sinn a F. Zuleger z TU Vídeň. Zatímco Loopus je ale samostatný nástroj, v případě nástroje Looper se jedná o zásuvný modul ("plugin") pro prostředí Facebook Infer.

Umístění

https://github.com/paveon/paveon.github.io/raw/master/Looper-v1.0.0.zip

Licence

Volně šiřitelný software poskytovaný pod MIT licencí (přesné znění licence je dostupné na stránce https://opensource.org/licenses/MIT).

Projekty

AQUAS: Agregované metody řízení kvality (8A17001)

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)