Security & testing

foundry-storage-check

Fuzz/Property testing

Foundry · CLI · DevOps · Vitendo vya GitHub · Solidity · Mpangilio wa hifadhi · Ubora wa msimbo · Usalama

foundry-storage-check ni Kitendo cha GitHub kwa miradi ya Foundry kinachoendeshwa kwenye kila ombi la kuvuta ili kuhakikisha mipangilio ya hifadhi ya proksi inayoweza kuboreshwa inabaki salama dhidi ya mgongano na kwamba nafasi mpya za hifadhi zilizoongezwa zinaanzishwa kwa sifuri mnyororoni kabla ya kuunganishwa kusafirishwa.

Related resources

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

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.

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

Medusa

Medusa ni fuzzer ya mkataba mahiri yenye hali iliyohamasishwa na Echidna. Inatoa majaribio ya fuzz yaliyosambamba ya mikataba mahiri na uthibitishaji wa vibadilikaji vya hali ya juu vya mkataba mahiri.

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.