Veröffentlichungen
| Veröffentlichung |
| Algorithmik- und logikbasierte Points-to Analysen im Vergleich |
Betreuer
| Ehemalige Mitarbeiter |
|---|
| Dr.-Ing. Jürgen Graf |
Studenten
| Ehemalige Studenten |
|---|
| Markus Herhoffer |
Diplomarbeit (abgeschlossen): Algorithmik- und logikbasierte Points-to Analysen im Vergleich
Diese Arbeit integriert die logikbasierte Points-to Analyse von Doop in das Programmanalyseframework WALA. Dabei wird evaluiert wie stark der erhoffte Präzisions- und Performancegewinn im Vergleich zur alten Points-to Analyse von WALA ausfällt.