Generic Constraint-Generator for MISRA-C
|Dozent:||Dr. Michael Petter und Stefan Schulze Frielinghaus|
|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.