Crytic-Properties

Chimera అనేది foundryలో Solidity పరీక్షలను వ్రాయడానికి మరియు Echidna, Medusa, Halmos మరియు Kontrol వంటి ఇతర ఓపెన్ సోర్స్ టూల్స్‌తో వాటిని తిరిగి ఉపయోగించుకోవడానికి ఒక ఫ్రేమ్‌వర్క్

స్లిదర్ అనేది Solidity మరియు Vyper కోసం Trail of Bits యొక్క Python స్టాటిక్ విశ్లేషణ ఇంజిన్: డిటెక్టర్‌లను అమలు చేయడానికి, కాంట్రాక్ట్‌ల నిర్మాణ వీక్షణలను ముద్రించడానికి లేదా మొత్తం కోడ్‌బేస్‌లపై అనుకూల తనిఖీలను స్క్రిప్ట్ చేయడానికి దీనిని CI లో రన్ చేయండి.

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

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

Medusa అనేది Echidna స్ఫూర్తితో రూపొందించబడిన స్టేట్‌ఫుల్ స్మార్ట్ కాంట్రాక్ట్ ఫజర్. ఇది స్మార్ట్ కాంట్రాక్ట్‌ల ప్యారలలైజ్డ్ ఫజ్ టెస్టింగ్‌ను మరియు అధునాతన స్మార్ట్ కాంట్రాక్ట్ ఇన్వేరియంట్‌ల ధృవీకరణను అందిస్తుంది.

మీరు పూర్తి Foundry లూప్ వెలుపల కాంట్రాక్ట్‌లతో ప్రయోగాలు చేస్తున్నప్పుడు వేగవంతమైన ఫీడ్‌బ్యాక్ లూప్‌ల కోసం Titanoboa అనేది ఒక ఇంటరాక్టివ్ Vyper ఇంటర్‌ప్రెటర్ మరియు టెస్ట్ హార్నెస్.