Looper: A Worst Case Cost Analyser, Version 1.0

Název česky

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

Typ

software

Licence

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

Autoři

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

Klíčová slova

Worst case execution time of functions, static analysis, Loopus, Facebook Infer.

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

Licenční podmínky

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, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, ukončen

Výzkumné skupiny

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

Pracoviště

Ústav inteligentních systémů (UITS)