Synpress

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

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

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

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

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

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