Mythril
GitHub Repo
,
conference paper @HITBSecConf 2018
Bernhard Mueller(b-mueller)氏が大部分を開発
検証項目
SWC(Smart Contract Weakness Classification)
共通脆弱性タイプ一覧CWE（Common Weakness Enumeration）の分類を使っている
解説記事
実装
EVMバイトコードを独自のMythirl disassemblyオブジェクトに変換し、
LASER-Ethereum
が実行
LASER-Ethereumはシンボリック実行のためのEVM, Python実装
チェック項目は個別にPythonのオブジェクトとして構成
0xfe INVALID Opcode
Vyperでも
VIPとして提案されており
、Approveされている