Product Details
Looper: A Worst Case Cost Analyser, Version 1.0
Created: 2020
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)
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
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, start: 2017-05-01, end: 2020-04-30, completed
Research groups
Departments