プログラム変換による前処理を行うことにより、Reentrancy Attackというスマートコントラクトの攻撃手法の脆弱性の検知可能な範囲を拡大し、静的解析ツールsolhintによる解析性能を向上させる。