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

solidity-coverage

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

GitHubで見る （新しいタブで開きます）

次を見る

hevm

solidity-coverage について

solidity-coverageは、Hardhat開発者プラットフォームにスマートコントラクトのコードカバレッジを提供します。精度が非常に高く、完全なviaIR Solidityコンパイルと、Solidity固有のコードブランチパターンの大規模なセットをサポートしています。約23万のGitHubプロジェクトにインストールされており、NPMから週に約10万回ダウンロードされています。

タグ

  • Hardhat
  • アナリティクス
  • コードカバレッジ
  • Solidity
  • テスト自動化

リポジトリsc-forks

情報

タイプ
ファズ／プロパティテスト
GitHubのスター数
1001
ライセンス
MIT
掲載情報のレビュー
2026年9月

類似ツール

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.