Usalama na majaribio

hevm

Majaribio ya Fuzz/Sifa

Tazama kwenye GitHub

Tazama inayofuata

Crytic-Properties

Kuhusu hevm

hevm ni injini ya utekelezaji ya EVM ya chanzo wazi, ya kisasa, ya haraka ya kiishara na thabiti inayoweza kupata matatizo katika mikataba mahiri. Kupitia mfumo wake wa utekelezaji na uchanganuzi wa kiishara, hevm inaweza kutekeleza mikataba kiishara, nusu-thabiti, au thabiti ili kupata hitilafu, au kulinganisha mikataba miwili tofauti kwa tofauti, ikifanya ukaguzi wa usawa.

Lebo

CLI
Foundry
Usalama
Utekelezaji wa kiishara

Hifadhiethereum

hevm362 (inafunguka katika kichupo kipya)

Maelezo

Aina: Majaribio ya Fuzz/Sifa
Nyota za GitHub: 362
Leseni: AGPL-3.0
Orodha imekaguliwa: Juni 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.