Repository History
Explore all analyzed open source repositories
EDB: Source-Level Time-Travel Debugger for Ethereum Smart Contracts
EDB is a powerful source-level time-travel debugger designed for Ethereum smart contracts, bridging the gap between high-level Solidity code and low-level EVM execution. It offers essential features like step-by-step execution, local variable inspection, custom expression evaluation, and breakpoints, significantly enhancing the debugging experience for Web3 developers.
Wake: A Python Framework for Secure Solidity Development and Fuzz Testing
Wake is a robust Python-based framework designed for secure Solidity development and comprehensive fuzz testing. It provides built-in vulnerability detectors, helping developers build more secure Ethereum dApps. With features like a VS Code extension and CI/CD integration, Wake streamlines the smart contract development workflow.
CertoraProver: State-of-the-Art Formal Verification for Smart Contracts
The Certora Prover is a leading security tool for automated formal verification of smart contracts. It supports EVM-based chains, Solana, and Stellar, ensuring robust security for decentralized applications. This open-source project, written in Kotlin, provides developers with powerful capabilities to enhance smart contract integrity.