Applied result detail

Looper: A Worst Case Cost Analyser, Version 1.0

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

Original Title

Looper: A Worst Case Cost Analyser, Version 1.0

English Title

Looper: A Worst Case Cost Analyser, Version 1.0

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.

Abstract in English

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.

Key words in English

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

Location

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

Licence fee

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

www

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