@inproceedings{38946725fd6b430b8a52c6d0f903587a,
title = "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.",
keywords = "WCET Analysis, LLVM",
author = "Sebastian Hahn and Jacobs Michael and Nils H{\"o}lscher and Kuan-Hsun Chen and Jian-Jia Chen and Jan Reineke",
note = "Funding Information: Funding This work has been supported by the Deutsche Forschungsgemeinschaft (DFG) as part of the Transregional Collaborative Research Centre SFB/TR 14 (AVACS); by the Saarbr{\"u}cken Graduate School of Computer Science, which received funding from the DFG as part of the Excellence Initiative of the German Federal and State Governments; and by the European Research Council (ERC) under the European Union{\textquoteright}s Horizon 2020 research and innovation programme (grant agreement No. 101020415). Publisher Copyright: {\textcopyright} Sebastian Hahn, Michael Jacobs, Nils H{\"o}lscher, Kuan-Hsun Chen, Jian-Jia Chen, and Jan Reineke.",
year = "2022",
month = jul,
day = "14",
doi = "10.4230/OASIcs.WCET.2022.2",
language = "English",
series = "Open Access Series in Informatics (OASIcs)",
publisher = "Schloss Dagstuhl",
pages = "2:1----2:17",
editor = "Clement Ballabriga",
booktitle = "20th International Workshop on Worst-Case Execution Time Analysis",
}