Finding and Demonstrating Undesired Program Behavior (TESTIFY)

In this joint project with Andreas Zeller from Saarland University we try to combine techniques from static analysis, test-case generation and dynamic analysis to determine as much as possible "interesting" runtime behavior of mobile applications, in particular Android malware. The techniques will be the first ones to reliably cope with highly obfuscated applications that try to prevent exactly such analyses through evasion techniques.

Funded by: DFG, 2015-2018