Whole-Program Analysis of POSIX/Linux-Applications: Design and Implementation of an Operating-System Model

• Typ der Arbeit: Bachelorarbeit
• Status der Arbeit: abgeschlossen
• Projekte: AHA
• Betreuer: Gerion Entrup, Daniel Lohmann
• Bearbeiter: Jan Neugebauer
• Ende der Arbeit: 29. Jul 2021

ARA is a program to statically analyze an application to extract all operating system instances (like threads) together with their interactions (what thread interacts with this queue?). It is built upon the LLVM compiler infrastructure and makes heavy use of it's API. Currently, it is able to analyze applications written for FreeRTOS (an RTOS for embedded use).

The Portable Operating System Interface (POSIX) is a widely used operating system interface, most notably used by Linux and MacOS. For POSIX a wide variety of applications exists. The goal of this thesis is to bring support of the POSIX interface to ARA, which allows to analyze fully automatically the internal structure of POSIX applications. Part of the task is the recognition of the POSIX system calls and builing a POSIX system model description in ARA.

The tasks that should be done in the thesis are:

• Extend the existing OS model to support POSIX.
• Write a basic POSIX system call interpreter in Python.
• Evaluate the implementation with appropriate applications written for the POSIX interface.

Topics covered by this thesis:
Linux, POSIX, static analysis, LLVM, C++, C, Python

Further Reading

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]

×

BibTex Entry

@inproceedings{entrup:19:ospert,
author = {Gerion Entrup and Benedikt Steinmeier and Christian Dietrich},
booktitle = {Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)},
entrysubtype = {Workshop},
month = {July},
title = {ARA: Automatic Instance-Level Analysis in Real-Time Systems},
venue = {Stuttgart, Germany},
year = {2019},
}

Close

OSPERT Workshop B Best Paper Award
Levels of Specialization in Real-Time Operating Systems

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]

×

BibTex Entry

@inproceedings{fiedler:18:ospert,
author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)},
entrysubtype = {Workshop},
month = {July},
title = {Levels of Specialization in Real-Time Operating Systems},
venue = {Barcelona, Spain},
year = {2018},
}

Close

TECS Journal A
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis

Christian Dietrich, Martin Hoffmann, Daniel LohmannACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]

×

BibTex Entry

@article{dietrich:17:tecs,
location = {New York, NY, USA},
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
doi = {10.1145/2950053},
entrysubtype = {Journal},
journaltitle = {ACM Transactions on Embedded Computing Systems},
number = {2},
pages = {35:1–35:25},
publisher = {ACM Press},
title = {Global Optimization of Fixed-Priority Real-Time Systems by {RTOS}-Aware Control-Flow Analysis},
volume = {16},
year = {2017},
}

Close

POSIX FAQ: http://www.opengroup.org/austin/papers/posix_faq.html