Generic Constraint-Generator for MISRA-C

Dozent: Dr. Michael Petter und Stefan Schulze Frielinghaus Ort/Zeit: t.b.a. ModulNummer: IN0020 Beschreibung:     In this thesis, the student creates a flexible extension to a C parser. This extension allows the generation of constraint systems for abstract interpretation frameworks.

The parser generator Cup comes with an out-of-the-box ANSI-C parser. Based on this parser, the goal of this thesis is to generate constraint systems based on MISRA-C based projects. These constraint systems are meant for input to particular abstract interpretation frameworks, that are developed here at our chair.