Ruka hadi maudhui makuu
Usalama na majaribio

Aderyn

Majaribio ya Fuzz/Sifa

Tembelea tovuti (inafunguka katika kichupo kipya)Aderyn kwenye X (inafunguka katika kichupo kipya)Aderyn kwenye GitHub (inafunguka katika kichupo kipya)

Tazama inayofuata

ItyFuzz

Kuhusu Aderyn

Aderyn ni kichanganuzi tuli cha mkataba mahiri wa Solidity cha chanzo wazi, kinachotegemea Rust cha Cyfrin kilichoundwa kusaidia wahandisi wa itifaki na watafiti wa usalama kupata udhaifu katika misingi ya msimbo wa Solidity

Lebo

  • CLI
  • Usalama
  • Elimu
  • Solidity
  • Uchanganuzi tuli
  • Kiendelezi cha VSCode
  • Inayoendeshwa na jamii

HifadhiCyfrin

Maelezo

Aina
Majaribio ya Fuzz/Sifa
Nyota za GitHub
805
Leseni
GPL-3.0
Orodha imekaguliwa
Juni 2026

Zana zinazofanana

Chimera

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

Slither
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.

Echidna
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.