Looper: A Worst Case Cost Analyser, Version 1.0

Type

software

Language

English

Authors

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

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.

Keywords

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

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

License Conditions

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

Projects

AQUAS: Aggregated Quality Assurance for Systems, EU, Horizon 2020, 8A17001, 737475, start: 2017-05-01, end: 2020-04-30, completed

Research groups

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

Departments

Department of Intelligent Systems (DITS)