Looper: A Worst Case Cost Analyser, Version 1.0

Typ

software

Jazyk

anglicky

Autoři

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

Popis

Looper version 1.0 is the first version of a static analyser of worst case execution times of functions that is based on ideas originally introduced in the Loopus analyser, authored by M. Sinn a F. Zuleger from Vienna University of Technology. While Loopus is a stand-alone tool, Looper is designed as a plugin of the Facebook Infer Framework.

Klíčová slova

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

URL

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

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

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, EU, Horizon 2020, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen

Výzkumné skupiny

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

Pracoviště

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