solidity-coverage

Testowanie fuzz/właściwości

Zobacz na GitHubie

Zobacz następne

hevm

O solidity-coverage

solidity-coverage zapewnia pokrycie kodu inteligentnych kontraktów dla platformy deweloperskiej Hardhat. Jest wysoce dokładne, obsługuje pełną kompilację Solidity viaIR i duży zestaw wzorców gałęzi kodu specyficznych dla Solidity. Jest zainstalowane w ~230 tys. projektów na Githubie i pobierane ~100 tys. razy w tygodniu z NPM.

Tagi

Hardhat
Analityka
Pokrycie kodu
Solidity
Automatyzacja testów

Repozytoriumsc-forks

solidity-coverage1 tys. (otwiera się w nowej karcie)

Informacje

Typ: Testowanie fuzz/właściwości
Gwiazdki na GitHubie: 1 tys.
Licencja: MIT
Przegląd wpisu: wrzesień 2026

Podobne narzędzia

Chimera

Chimera to framework do pisania testów Solidity w foundry z możliwością ich ponownego użycia z innymi narzędziami Open Source, takimi jak Echidna, Medusa, Halmos i Kontrol

CROPS Native

Slither

Slither to silnik analizy statycznej w języku Python od Trail of Bits dla Solidity i Vyper: uruchom go w CI, aby odpalać detektory, drukować widoki strukturalne kontraktów lub skryptować niestandardowe sprawdzenia w całych bazach kodu.

CROPS Native

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.