Detail aplikovaného výsledku

Looper: A Worst Case Cost Analyser, Version 1.0

PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.

Originální název

Looper: A Worst Case Cost Analyser, Version 1.0

Anglický název

Looper: A Worst Case Cost Analyser, Version 1.0

Druh

Software

Abstrakt

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.

Abstrakt aglicky

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.

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

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

www

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