C Program Static Analysis

Embedded automotive software requires high dependability. To achieve it, functional and non-functional requirements must be satisfied. We specify non-functional requirements of software. However, we lack in checking compliance with these non-functional requirements.
The motivation of this work is to develop LLVM passes to automatically extract non-functional properties and compare these properties to non-functional requirements.

Download as PDF

Thesis Type:

  • IT-Project / Project / Seminar
  • Bachelor Thesis
  • Master Thesis

Goal and Tasks:

  • Explore LLVM pass development framework;
  • Write multiple LLVM passes to automatically analyze different non-functional properties of C program.

Recommended Prior Knowledge:

  • C++ Concepts
  • Compiler Construction
  • LLVM


  • a.s.a.p.