Language-based security on Android
Soot - a Java Bytecode Optimization Framework