LouisTsai-Csie/evmorph

Converting EVM bytecode into a static single assignment (SSA) form for program analysis.