Dipl.-Inform. Markus Herhoffer

	Contact

Research interests

Studien thesis: Enhance controlflow precision for exceptions

Publications

2012

• Algorithmik- und logikbasierte Points-to Analysen im Vergleich
  December 2012 : M. Herhoffer
• Präziser Kontrollfluss für Exceptions durch interprozedurale Datenflussanalyse
  June 2012 : M. Herhoffer

Theses worked on

• Comparing Algorithmic and Logic based Points-to Analyses (finished), Diploma thesis
• Dataflow analysis: Enhance controlflow precision for exceptions (finished), study thesis