Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Studienarbeiten Masterarbeiten Goblint login

Goblint

Dozent:Ralf Vogler
Ort/Zeit:t.b.a.
ModulNummer:IN2108
Beschreibung:    tags: program analysis, static analysis, abstract interpretation, functional programming, OCaml

UPDATE: current jobs concerning Goblint[1][2] can be found here: https://gist.github.com/vogler/c0aba1b6a4f70a79f082

[1] http://goblint.in.tum.de/
[2] https://github.com/goblint/analyzer

 

Im Rahmen der Weiterentwicklung dieses Werkzeugs ergeben sich mehrere Themen, die sich eignen, Masterarbeit oder ggf. als SEP- / Bachelorarbeit  bearbeitet zu werden:

  • Erweitern das Analyseframeworks um rückwärtsgerichtete und mehrphasige Analysen. Entwickeln von Methoden um die Reihenfolge von Analysen zu optimieren.
  • Entwicklung eines Speicherformats für Analyseergebnisse sowie implementierung einer Import/Export funktionalität basierend auf diesem Format.
  • Implementation alternativer Fixpunktalgorithmen bzw. Analysetechniken um Stärken und Schwächen verschiedener Ansätze zu finden und gegenüber zu stellen.
  • Konkrete Analysen: Im Laufe der Forschungen am Lehrstuhl Seidl entsteht immer wieder der Bedarf nach Implementierungen von konkreten Analysekonzepten - am Besten fragen Sie für solche Themen direkt bei Kalmer Apinis, Martin Schwarz, Vesal Vojdani oder Prof. Seidl nach!


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