License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2022.2
URN: urn:nbn:de:0030-drops-166242
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2022/16624/
Hahn, Sebastian ;
Jacobs, Michael ;
Hölscher, Nils ;
Chen, Kuan-Hsun ;
Chen, Jian-Jia ;
Reineke, Jan
LLVMTA: An LLVM-Based WCET Analysis Tool
Abstract
We present llvmta, an academic WCET analysis tool based on the LLVM compiler infrastructure. It aims to enable the evaluation of novel WCET analysis approaches in a state-of-the-art analysis framework without dealing with the complexity of modeling real-world hardware architectures. We discuss the main design decisions and interfaces that allow to implement new analysis approaches. Finally, we highlight various existing research projects whose evaluation has been enabled by llvmta.
BibTeX - Entry
@InProceedings{hahn_et_al:OASIcs.WCET.2022.2,
author = {Hahn, Sebastian and Jacobs, Michael and H\"{o}lscher, Nils and Chen, Kuan-Hsun and Chen, Jian-Jia and Reineke, Jan},
title = {{LLVMTA: An LLVM-Based WCET Analysis Tool}},
booktitle = {20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022)},
pages = {2:1--2:17},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-244-0},
ISSN = {2190-6807},
year = {2022},
volume = {103},
editor = {Ballabriga, Cl\'{e}ment},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16624},
URN = {urn:nbn:de:0030-drops-166242},
doi = {10.4230/OASIcs.WCET.2022.2},
annote = {Keywords: WCET analysis, low-level analysis, LLVM}
}