2026-07-20T11:02:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:16624 2024-03-06T10:31:47Z ddc:004 open_access

LLVMTA: An LLVM-Based WCET Analysis Tool Hahn, Sebastian Jacobs, Michael Hölscher, Nils Chen, Kuan-Hsun Chen, Jian-Jia Reineke, Jan WCET analysis low-level analysis LLVM 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Sebastian Hahn and Michael Jacobs and Nils Hölscher and Kuan-Hsun Chen and Jian-Jia Chen and Jan Reineke 2022 Is Part Of OASIcs, Volume 103, 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2022.2 urn:nbn:de:0030-drops-166242 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2022.2 eng https://creativecommons.org/licenses/by/4.0/legalcode