メインコンテンツへスキップ
セキュリティとテスト

Aderyn

ファズ／プロパティテスト

ウェブサイトにアクセス （新しいタブで開きます）X の Aderyn （新しいタブで開きます）GitHub の Aderyn （新しいタブで開きます）

次を見る

ItyFuzz

Aderyn について

Aderynは、プロトコルエンジニアやセキュリティ研究者がSolidityコードベースの脆弱性を見つけるのを支援するように設計された、CyfrinのオープンソースでRustベースのSolidityスマート・コントラクト静的アナライザーです。

タグ

  • CLI
  • セキュリティ
  • 教育
  • Solidity
  • 静的解析
  • VSCode拡張機能
  • コミュニティ主導

リポジトリCyfrin

情報

タイプ
ファズ／プロパティテスト
GitHubのスター数
805
ライセンス
GPL-3.0
掲載情報のレビュー
2026年6月

類似ツール

Chimera

Chimera

Chimeraは、FoundryでSolidityのテストを記述し、Echidna、Medusa、Halmos、Kontrolなどの他のオープンソースツールで再利用できるようにするためのフレームワークです。

Slither
CROPSネイティブ

Slither

スリザーは、SolidityおよびVyper向けのTrail of BitsのPython静的解析エンジンです。CIで実行して検出器を起動したり、コントラクトの構造ビューを出力したり、コードベース全体にわたるカスタムチェックをスクリプト化したりできます。

Echidna
CROPSネイティブ

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.