Generic Metatdata Transport of High-Level–Language Properties between LLVM-Compiler Fron and Middle End for Static Analysis

Currently, ARA -- an operating-system aware whole-system compiler -- operates exclusively on the LLVM IR (an intermediate language between the high level language and the binary code). However, sometimes information from the front end (that the LLVM IR is not able to express) would give better analysis results. Examples for that are:

Your task with this thesis is to fix these problems by making it possible to get front-end information into ARA. An important part of the thesis is to do this systematically: Check the literature for useful source code information for abstract interpretation and develop a generic and extensible mechanism to get information from an LLVM front end into the middle end. The whole tasks splits into several subtasks:

RTAS Conference A
ARA: Static Initialization of Dynamically-Created System Objects
Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]
OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems
Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]