
== State of the Art <sec:bg-soa>

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")
