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/
Go to the corresponding OASIcs Volume Portal


Hahn, Sebastian ; Jacobs, Michael ; Hölscher, Nils ; Chen, Kuan-Hsun ; Chen, Jian-Jia ; Reineke, Jan

LLVMTA: An LLVM-Based WCET Analysis Tool

pdf-format:
OASIcs-WCET-2022-2.pdf (0.6 MB)


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}
}

Keywords: WCET analysis, low-level analysis, LLVM
Collection: 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022)
Issue Date: 2022
Date of publication: 14.07.2022
Supplementary Material: llvmta and a patched version of LLVM are available as open source for academic research purposes:
Software (Source Code): https://gitlab.cs.uni-saarland.de/reineke/llvmta
Software (Source Code): https://gitlab.cs.uni-saarland.de/reineke/llvm


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI