Chimera

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, Playwrightను ఎథీరియం-అవగాహన గల బ్రౌజర్ ఆటోమేషన్‌తో జోడిస్తుంది, తద్వారా మీరు CIలో వాలెట్ పాప్-అప్‌లు మరియు చైన్ స్విచ్‌లతో సహా వికేంద్రీకృత అప్లికేషన్లను (dapps) ఎండ్-టు-ఎండ్ పరీక్షించవచ్చు.

Aderyn అనేది Cyfrin యొక్క ఓపెన్-సోర్స్, Rust-ఆధారిత Solidity స్మార్ట్ కాంట్రాక్ట్ స్టాటిక్ ఎనలైజర్, ఇది ప్రోటోకాల్ ఇంజనీర్లు మరియు భద్రతా పరిశోధకులు Solidity కోడ్ బేస్‌లలో దుర్బలత్వాలను కనుగొనడంలో సహాయపడటానికి రూపొందించబడింది.