Ruka hadi maudhui makuu
Usalama na majaribio

Titanoboa

Majaribio ya Fuzz/Sifa

Tembelea tovuti (inafunguka katika kichupo kipya)Titanoboa kwenye GitHub (inafunguka katika kichupo kipya)

Tazama inayofuata

Hive

Kuhusu Titanoboa

Titanoboa ni mkalimani mwingiliano wa Vyper na mfumo wa majaribio kwa mizunguko ya maoni ya haraka unapofanya majaribio na mikataba nje ya mzunguko kamili wa Foundry.

Lebo

  • Vyper
  • Zana za utatuzi

Hifadhivyperlang

Maelezo

Aina
Majaribio ya Fuzz/Sifa
Nyota za GitHub
313
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.