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 कोड बेसेसमधील असुरक्षा शोधण्यात मदत करण्यासाठी डिझाइन केलेले आहे