ブロックチェーンSolidity静的解析ツール「Slither」ガイド──インストールから独自ディテクタ実装・CI統合まで網羅
SlitherはCryticが開発するオープンソースのSolidity静的解析フレームワークです。再入可能性や整数オーバーフローなど80種類以上の脆弱性を自動検出し、AST／CFG情報をPython APIで自在に扱えます。本記事ではGitHubリポジトリのドキュメントを基に、基礎概念・使い方・代表的ディテクタ・結果解釈・カスタム開発・CI/CDパイプライン統合まで詳しく解説します。