Looper: A Worst Case Cost Analyser, Version 1.0

Czech title

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

Type

software

License

required - free

Authors

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

Keywords

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

Description

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.

Location

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

Licence

Free software under the MIT license (cf. https://opensource.org/licenses/MIT).

Projects

AQUAS: Aggregated Quality Assurance for Systems (8A17001)

Research groups

Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)

Departments

Department of Intelligent Systems FIT BUT (DITS FIT BUT)