Detail produktu
Looper: A Worst Case Cost Analyser, Version 1.0
Vznik: 2020
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)
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í
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
Pracoviště
Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)