ANANAS - A Framework for Analyzing Android Applications. - Thomas Eder; Michael Rodler; Dieter Vymazal; Markus Zeilinger (ARES, 2013)