Consensys / scribble
Scribble instrumentation tool
☆325Updated 3 months ago
Alternatives and similar repositories for scribble:
Users that are interested in scribble are comparing it to the libraries listed below
- Simplify Ethereum security analysis and testing☆340Updated 3 weeks ago
- Materials related to security: docs, checklists, processes, etc...☆202Updated last week
- A pocket knife for auditing smart contracts.☆258Updated 2 years ago
- Solidity language support and visual security auditor for Visual Studio Code☆588Updated 8 months ago
- Audits performed by Solidified☆185Updated 9 months ago
- Abstraction layer for smart contract build systems☆169Updated 2 weeks ago
- A curated list of resources and tools for the MythX smart contract security API☆252Updated 4 years ago
- Contains lists of things to know/remember in different topics☆184Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆325Updated last year
- An interactive Solidity Shell☆544Updated last year
- Mutation Testing for Ethereum Smart Contracts☆206Updated last year
- A curated list of awesome EIP2535 Diamonds resources, libraries, tools, articles and more☆363Updated 2 months ago
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆684Updated 2 months ago
- Assertions, equality checks and other test helpers☆222Updated last year
- The weiroll virtual machine☆414Updated 2 years ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆287Updated last year
- Solidity Code Metrics☆260Updated 3 months ago
- Merkle Proof Generator and Validator in Solidity☆445Updated 2 weeks ago
- EIP-2535 Diamonds reference implementation.☆258Updated 2 years ago
- A symbolic testing tool for EVM smart contracts☆878Updated this week
- EIP-2535 Diamond reference implementation using Hardhat and Solidity 0.8.*☆243Updated 6 months ago
- A collection of EVM puzzles☆829Updated last year
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆382Updated 2 years ago
- The Solidity mocking library☆324Updated 2 weeks ago
- Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests☆237Updated 3 years ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆355Updated this week
- Information about three diamond reference implementations.☆274Updated 3 years ago
- Damn Vulnerable DeFi - Foundry Version☆498Updated last year
- evm toolkit☆359Updated 8 months ago
- Practical tutorials of Certora Prover☆234Updated last year