Usalama na majaribio

AuditHub

Majaribio ya Fuzz/Sifa

Usalama · Uchanganuzi tuli · Majaribio ya fuzz · Uthibitishaji rasmi · Solidity · Ujumuishaji endelevu

Tovuti Kijamii Veridise/AuditHub-Client Veridise/audithub-mcp Veridise/audithub-skills https://pypi.org/project/audithub-client/

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

Rasilimali zinazohusiana

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.

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.

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.

ItyFuzz

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

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