Slither

Majaribio ya Fuzz/Sifa

Tazama kwenye GitHub

Tazama inayofuata

Echidna

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

Lebo

Usalama
Uchanganuzi tuli
Solidity
Vyper
Ujumuishaji endelevu

Hifadhicrytic

slitherelfu 6.4 (inafunguka katika kichupo kipya)

Maelezo

Aina: Majaribio ya Fuzz/Sifa
Nyota za GitHub: elfu 6.4
Leseni: AGPL-3.0
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

Synpress

Synpress inaweka Playwright na otomatiki ya kivinjari inayotambua Ethereum ili uweze kujaribu programu tumizi zilizogatuliwa (dapps) kutoka mwanzo hadi mwisho, ikijumuisha madirisha ibukizi ya mkoba na swichi za mnyororo, katika CI.

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