Looper: A Worst Case Cost Analyser, Version 1.0

Czech title

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

Type

software

License

In order to use the result by another entity, it is always necessary to acquire a license

License Fee

The licensor does not require a license fee for the result

Authors

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

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

License Conditions

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

Projects

AQUAS: Aggregated Quality Assurance for Systems, MŠMT, Společná technologická iniciativa ECSEL, 8A17001, 737475, 2017-2020, completed

Research groups

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

Departments

Department of Intelligent Systems (DITS)