Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Studienarbeiten Bachelorarbeiten Generic Constraint-Generator for MISRA-C login

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.



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 8 ms