solidity-coverage

Majaribio ya Fuzz/Sifa

Tazama kwenye GitHub

Tazama inayofuata

hevm

Kuhusu solidity-coverage

solidity-coverage inatoa ufunikaji wa msimbo wa mkataba mahiri kwa jukwaa la msanidi programu la Hardhat. Ni sahihi sana, inasaidia mkusanyiko kamili wa viaIR wa Solidity na seti kubwa ya mifumo ya tawi la msimbo maalum kwa Solidity. Imesakinishwa kwenye miradi ~230k ya GitHub na inapakuliwa mara ~100k kwa wiki kutoka NPM.

Lebo

Hardhat
Uchanganuzi
Ufikiaji wa msimbo
Solidity
Uendeshaji otomatiki wa majaribio

Hifadhisc-forks

solidity-coverageelfu 1 (inafunguka katika kichupo kipya)

Maelezo

Aina: Majaribio ya Fuzz/Sifa
Nyota za GitHub: elfu 1
Leseni: MIT
Orodha imekaguliwa: Septemba 2026

Zana zinazofanana

Chimera

Chimera ni mfumo wa kuandika majaribio ya Solidity katika Foundry na kuweza kuyatumia tena na Zana zingine za Chanzo Wazi kama vile Echidna, Medusa, Halmos na Kontrol

CROPS Native

Slither

Slither ni injini ya uchanganuzi tuli ya Python ya Trail of Bits kwa Solidity na Vyper: iendeshe katika CI ili kuwasha vigunduzi, kuchapisha mionekano ya kimuundo ya mikataba, au kuandika hati za ukaguzi maalum kwenye misingi yote ya msimbo.

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.