Securify: Practical Security Analysis of Smart Contracts
Jimple: Simplifying Java Bytecode for Analyses and Transformations