Finding and Demonstrating Undesired Program Behavior (TESTIFY)

In diesem gemeinsamen Projekt mit Andreas Zeller von der Universit?t des Saarlandes wird versucht, Techniken der statischen Analyse, der Testfallgenerierung und der dynamischen Analyse zu kombinieren. Das Ziel ist es, so viel “interessantes” Laufzeitverhalten von mobilen Applikationen, im besonderen Anroid Malware, wie m?glich zu erkennen. Diese Techniken werden die ersten sein, die zuverl?ssig auch hochgradig verwirrenden Anwendungen, die eben genau versuchen, solche Analysen durch Evasions-Techniken zu verhindern, gewachsen sind.