భద్రత & టెస్టింగ్

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

Simbolik అనేది ఒక శక్తివంతమైన Solidity డీబగ్గర్, ఇది సాంప్రదాయ బ్రేక్‌పాయింట్ డీబగ్గింగ్‌ను సింబాలిక్ ఎగ్జిక్యూషన్‌తో మిళితం చేస్తుంది, డెవలపర్‌లు సాధ్యమయ్యే ప్రతి అమలు మార్గాన్ని అన్వేషించడానికి మరియు దుర్బలత్వాలను ఖచ్చితత్వంతో వెలికితీసేందుకు వీలు కల్పిస్తుంది. VSCode ఎక్స్‌టెన్షన్‌గా అందుబాటులో ఉన్న Simbolik, బ్రేక్‌పాయింట్-శైలి డీబగ్గింగ్, Solidity మరియు EVM-స్థాయి తనిఖీ మరియు నియత ధృవీకరణ సామర్థ్యాలను అందిస్తూ, ఇప్పటికే ఉన్న వర్క్‌ఫ్లోలలో సజావుగా కలిసిపోతుంది.

EVM కోసం వెబ్ ఆధారిత లావాదేవీ డీబగ్గర్ మరియు సిమ్యులేటర్. ఓపెన్-సోర్స్ మరియు స్వయంగా హోస్ట్ చేయదగినది. ప్రతి దశలో వేరియబుల్ స్థితులను తనిఖీ చేయండి, డిప్లాయ్ చేయడానికి ముందు లావాదేవీలను సిమ్యులేట్ చేయండి మరియు గ్యాస్ వినియోగాన్ని ప్రొఫైల్ చేయండి. ఏదైనా RPC ప్రొవైడర్‌కు మద్దతు ఇస్తుంది.

Abi Ninja అనేది తెలిసిన ABIలు, పేస్ట్ చేసిన ABIలు లేదా డీకంపైల్ చేసిన బైట్‌కోడ్‌తో కాంట్రాక్ట్‌లను కాల్ చేయడానికి ఉపయోగించే ఒక బ్రౌజర్ UI, ఇది మీ స్థానికంగా రన్ అవుతున్న Hardhat లేదా Anvil నోడ్‌తో సహా అనేక నెట్‌వర్క్‌లలో ప్రాక్సీ-అవేర్ రీడ్‌లను అందిస్తుంది.

మీ IDEలో తక్షణమే కాంట్రాక్ట్ కోడ్‌ను లోడ్ చేయడానికి ఒక సాధారణ cli టూల్.

స్మార్ట్ కాంట్రాక్ట్‌లతో ఇంటరాక్ట్ అవ్వడానికి సూపర్ ఈజీ ఇంటరాక్టివ్ షెల్

viem-tracer ఒక Viem క్లయింట్‌ను మెరుగుపరుస్తుంది, తద్వారా విఫలమైన ethestimateGas మరియు ethsendTransaction కాల్‌లు sourcify.devతో డీకోడ్ చేయబడిన, మానవులు చదవగలిగే ట్రేస్ అవుట్‌పుట్‌ను స్వయంచాలకంగా చేర్చుతాయి. అలాగే, డెవలపర్‌లు తమ ప్రస్తుత RPC స్టాక్‌ను వదలకుండా అమలును తనిఖీ చేయడానికి వీలుగా ఇది debug_traceCall చుట్టూ టైప్ చేయబడిన హెల్పర్‌లను జోడిస్తుంది.

ఆన్‌చైన్ లేదా పరీక్షలలో కాంట్రాక్ట్ ప్రవర్తనపై మీకు IDE-స్థాయి విజిబిలిటీ అవసరమైనప్పుడు, స్టెప్పింగ్, లోకల్స్, వాచెస్ మరియు బ్రేక్‌పాయింట్‌లతో కూడిన Solidity అమలు కోసం EDB అనేది ఒక సోర్స్-స్థాయి డీబగ్గర్.

forge-stack-tracer వివరణాత్మక Foundry పరీక్ష అవుట్‌పుట్‌ను Swiss-Knife డీకోడింగ్ ద్వారా పంపుతుంది, తద్వారా విఫలమైన పరీక్షలు అపారదర్శక హెక్స్‌కు బదులుగా ఇంటరాక్టివ్ స్టాక్ ట్రేస్‌లను అందిస్తాయి.

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

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

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

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

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

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

solidity-coverage Hardhat డెవలపర్ ప్లాట్‌ఫారమ్ కోసం స్మార్ట్-కాంట్రాక్ట్ కోడ్ కవరేజీని అందిస్తుంది. ఇది అత్యంత ఖచ్చితమైనది, పూర్తి viaIR solidity కంపైలేషన్ మరియు పెద్ద సెట్ solidity-నిర్దిష్ట కోడ్ బ్రాంచ్ ప్యాటర్న్‌లకు మద్దతు ఇస్తుంది. ఇది ~230k Github ప్రాజెక్ట్‌లలో ఇన్‌స్టాల్ చేయబడింది మరియు NPM నుండి వారానికి ~100k సార్లు డౌన్‌లోడ్ చేయబడుతుంది.

hevm అనేది స్మార్ట్ కాంట్రాక్ట్‌లలో సమస్యలను కనుగొనగల ఓపెన్ సోర్స్, అత్యాధునిక, వేగవంతమైన సింబాలిక్ మరియు కాంక్రీట్ EVM ఎగ్జిక్యూషన్ ఇంజిన్. దీని సింబాలిక్ ఎగ్జిక్యూషన్ మరియు అనాలిసిస్ సిస్టమ్ ద్వారా, hevm బగ్‌లను కనుగొనడానికి కాంట్రాక్ట్‌లను సింబాలిక్‌గా, సెమీ-కాంక్రీట్‌గా లేదా కాంక్రీట్‌గా ఎగ్జిక్యూట్ చేయగలదు లేదా సమానత్వ తనిఖీని నిర్వహిస్తూ వ్యత్యాసాల కోసం రెండు వేర్వేరు కాంట్రాక్ట్‌లను సరిపోల్చగలదు.

Crytic-Properties అనేది ERC20, ERC721, ERC4626 మరియు మరిన్నింటి వంటి అత్యంత విస్తృతంగా ఉపయోగించే కొన్ని టోకెన్ ప్రమాణాల కోసం పునర్వినియోగించదగిన భద్రతా పరీక్షల సూట్.

Wallet Test Framework అనేది ఒక స్వయంచాలక సూట్, ఇది ప్రధాన వాలెట్ ఫ్లోలను - బదిలీలు, బ్యాలెన్స్ రీడ్‌లు, ప్రాథమిక వికేంద్రీకృత అప్లికేషన్ (dapp) ఇంటరాక్షన్‌లను - అమలు చేస్తుంది, తద్వారా బృందాలు CI లో భాగస్వామ్య UX అంచనాలను రిగ్రెషన్-టెస్ట్ చేయగలవు.

Branching Tree Technique ఆధారంగా ఒక స్మార్ట్ కాంట్రాక్ట్ టెస్ట్ జనరేటర్.

ERCx అనేది ERC టోకెన్ ప్రమాణాల కోసం ఒక సమగ్ర ఓపెన్-సోర్స్ టెస్టింగ్ లైబ్రరీ, ఇది ERC-20, ERC-721, ERC-1155 మరియు ERC-4626 అమలుల అంతటా 500కి పైగా వ్యక్తిగత పరీక్షలను కలిగి ఉంది.

104 వల్నరబిలిటీ ప్యాటర్న్‌లు మరియు 8 విశ్లేషణ టూల్స్‌తో కూడిన Solidity/EVM స్మార్ట్ కాంట్రాక్ట్ సెక్యూరిటీ ఆడిటర్. CTF మరియు EVMBench బెంచ్‌మార్క్‌లలో 100% సాధిస్తుంది (120/120). స్మార్ట్ కాంట్రాక్ట్‌లలో వల్నరబిలిటీలను గుర్తించడానికి స్టాటిక్ అనాలిసిస్.

foundry-storage-check అనేది Foundry ప్రాజెక్ట్‌ల కోసం ఒక GitHub యాక్షన్, ఇది అప్‌గ్రేడ్ చేయగల ప్రాక్సీ స్టోరేజ్ లేఅవుట్‌లు కొలిజన్-సేఫ్‌గా ఉండేలా చూసుకోవడానికి మరియు మెర్జ్‌లు పూర్తయ్యే ముందు కొత్తగా జోడించిన స్టోరేజ్ స్లాట్‌లు ఆన్‌చైన్‌లో జీరో-ఇనిషియలైజ్ చేయబడ్డాయని నిర్ధారించడానికి ప్రతి పుల్ రిక్వెస్ట్‌పై రన్ అవుతుంది.

ఒకే స్థానిక EVM సరిపోనప్పుడు బహుళ-చైన్ లేదా బహుళ-ఇన్‌స్టాన్స్ Foundry పరీక్షలను స్క్రిప్ట్ చేయడానికి forge మరియు anvil చుట్టూ నిర్మించబడిన ఒక తేలికపాటి JavaScript హార్నెస్ blocksmith.js.

KEVM అనేది EVM యొక్క K-ఫ్రేమ్‌వర్క్ ఎక్జిక్యూటబుల్ సెమాంటిక్స్: మీకు కన్ఫార్మెన్స్-చెక్ చేయబడిన ఎక్జిక్యూషన్, సింబాలిక్ ఎక్స్‌ప్లోరేషన్, గ్యాస్ రీజనింగ్ లేదా ఎథీరియం నియమాలను దగ్గరగా ట్రాక్ చేసే నిరూపణలు అవసరమైనప్పుడు దీనిని బైట్‌కోడ్‌కు పాయింట్ చేయండి.

Kontrol, Foundry ప్రాపర్టీ పరీక్షలను KEVM-ఆధారిత నిరూపణలుగా మారుస్తుంది, తద్వారా మీరు కేవలం ముడి KEVM కంటే తక్కువ చేతితో వ్రాసిన స్పెసిఫికేషన్ పనితో నియత హామీలను సాధించవచ్చు.

hax అనేది Rust యొక్క పెద్ద ఉపసమితిని F* లేదా Rocq వంటి ఫార్మల్ లాంగ్వేజ్‌లలోకి హై అస్యూరెన్స్ అనువాదాల కోసం ఒక టూల్.

Act అనేది EVM ప్రోగ్రామ్ యొక్క అన్ని ప్రవర్తనలను వివరించడానికి ఉపయోగించే ఎథీరియం యొక్క డిక్లరేటివ్ స్పెసిఫికేషన్ లాంగ్వేజ్ మరియు టూల్‌చైన్, తద్వారా SMT సాల్వర్‌లు, థీరమ్ ప్రూవర్‌లు లేదా ఆర్థిక విశ్లేషణ సాధనాలు కాంక్రీట్ ఇంప్లిమెంటేషన్‌లకు వ్యతిరేకంగా ఆటోమేటిక్ రిఫైన్‌మెంట్ ప్రూఫ్‌లతో సహా బైట్‌కోడ్-స్థాయి ఖచ్చితత్వం మరియు ప్రోత్సాహక అనుకూలత గురించి తార్కికంగా విశ్లేషించగలవు.

స్వయంచాలక SMT విధానాలు సరిపోనప్పుడు మీరు చాలా బలమైన ఖచ్చితత్వ వాదనలను లక్ష్యంగా చేసుకోవడానికి వీలుగా, Verifereum ఎథీరియం స్మార్ట్ కాంట్రాక్ట్‌లను HOL4-ఆధారిత సిద్ధాంత నిరూపణకు అనుసంధానిస్తుంది.