?暗号通貨のセキュリティに関する厳選されたリスト。 (リバース、エクスプロイト、ファズ..)
この実践的な ETH 逆コンパイル ブログからの画像。
Porosity - ブロックチェーンベースのイーサリアム スマート コントラクト用のデコンパイラーおよびセキュリティ分析ツール。
Mythril - イーサリアム スマート コントラクトのセキュリティ分析ツール。
MAIAN - Ethereum スマート コントラクトのトレース脆弱性を検出するための自動ツール。
Echidna - イーサリアムのファズテストフレームワーク。
Manticore - Manticore はシンボリック実行を使用して、EVM バイトコードに対する複雑なマルチコントラクトおよびマルチトランザクション攻撃をシミュレートします。
Ethersplay - 高度な機能を備えたグラフィカル EVM 逆アセンブラ。 (ビンジャ)
Oyente - シンボリック実行と Z3 SMT ソルバーに基づく自動 EVM コード アナライザー。
IDA-EVM - Ethereum 仮想マシン用の IDA プロセッサ モジュール。
Evmdis - EVM 逆アセンブラ。
Securify - イーサリアム スマート コントラクトの正式な検証。
Rattle - Rattle は、EVM バイトコードの脆弱性を直接分析する EVM 静的アナライザーです。
Slither - Solidity の静的解析。
Diligence - イーサリアム エコシステムのセキュリティ サービス、ツール、ベスト プラクティス。
fuildai - Fluid は、スマート コントラクトの致命的なセキュリティ脆弱性を自動的に検出して修正できる AI です。
vs code - VS Code 用の Solidity Visual Auditor 拡張機能
muellerberndt - 実践的なスマート コントラクトのセキュリティ分析と悪用 - パート 1
ブラックハット - ブラックハット イーサリアム。
固化 - パリティハック。
arvanaghi 1 - イーサリアム スマート コントラクトを逆転します。
arvanaghi 2 - イーサリアムスマートコントラクトの逆転 2.
ret2 - 実用的な ETH 逆コンパイル。
loom-network - 6 つの脆弱性とその回避方法 パート 1。
ETH アセンブリ - アセンブリについて話しましょう。
Radare2 - Radare2 を使用して EVM バイトコードを反転します。
Ethereum セキュリティ ツール - Trailofbits Ethereum セキュリティ ツール。
Hackernoon - イーサリアム スマート コントラクトの脆弱性を分析します。
nccgroup - GOATCasino でスマート コントラクトの脆弱性を発見。
Arseny Reutov – イーサリアム スマート コントラクトにおける乱数の予測。
funfair - ランダム性は重要です。
Ethernaut - Theethernaut は Web3/Solidity ベースのウォーゲームです。
GOATCasino - GOATCasino は、意図的に脆弱なスマート コントラクトのセットを展開する Truffle プロジェクトです。
CTF コール SWAMPCTF
dasp - 分散型アプリケーション セキュリティ プロジェクト (または DASP) の 2018 年のトップ 10。
それほどスマートな契約ではない - Solidity のセキュリティ問題の例。
EVM オペコード - Ethereum オペコードと命令リファレンス。
ミント整数オーバーフロー ミント整数オーバーフロー。
Ethereum スマート コントラクトにおける初期化されていないポインタ ストレージ割り当てのエクスプロイト。
よりスマート - スマートコントラクトをよりスマートに。
Yellow Paper - Ethereum: 安全な分散型汎用トランザクション台帳。
素晴らしい
素晴らしいイーサリアム
素晴らしいイーサリアム仮想マシン
イーサキャスト
固まった
コードメンター
イオシロ
監査人
@withzombies @chaignc @trailofbits
@chaignc #HexpressoTeam より。