sCompile: Critical Path Identification and Analysis for Smart Contracts
Symbolic execution and program testing