CrySL: Validating Correct Usage of Cryptographic APIs
Optimizing Java Bytecode using the Soot Framework: Is it Feasible?