ప్రధాన కంటెంట్‌కు దాటవేయండి
Assertoor
భద్రత & టెస్టింగ్

Assertoor

ఫజ్/ప్రాపర్టీ టెస్టింగ్

టెస్టింగ్ · టెస్ట్ ఆటోమేషన్ · DevOps

ethpandaops/assertoor (కొత్త ట్యాబ్‌లో తెరవబడుతుంది)

Assertoor runs configurable checks and assertions against a live Ethereum devnet to validate its behavior. Client and devnet teams use it to confirm a running network is healthy, in the same family as Hive.

సంబంధిత వనరులు

Chimera

Chimera

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

Slither

Slither

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

Synpress

Synpress

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

Aderyn

Aderyn

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

Medusa

Medusa

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

Titanoboa

Titanoboa

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