== State of the Art This section focuses on the state of the art related to our three problem statements: the reusability of Android static analysis tools, the class loading mechanism of Android, and the use of instrumentation to encode information collected dynamically. #include("4_1_rasta.typ") #include("4_2_classloader.typ") #include("4_3_theseus.typ")