Bei der Analyse von Android Anwendungen muss beachtet werden, dass diese nicht mit einer zentralen main() Methode gestartet werden. Vielmehr gibt es eine Reihe von Einsprungpunken die während des Lebenszyklus einer Anwendung vom Android Laufzeitsystem selbst gestartet werden.
Im Rahmen dieser Arbeit soll eine Erweiterung für das Programmanalyseframework WALA und unserer darauf aufbauenden IFC Analyse Joana entwickelt werden, welche automatisch die Einsprungpunkte einer Android Anwendung erkennt und diese Information an die Analyse weitergibt.
Veröffentlichungen
Betreuer
Studenten
