Product detail

Looper: A Worst Case Cost Analyser, Version 1.0

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

Product type

software

Abstract

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.

Keywords

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

Create date

30. 4. 2020

Location

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

Possibilities of use

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

Licence fee

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

www

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