Writings on symbolic-execution-based security analysis of EVM smart contracts.
☆177Aug 12, 2019Updated 6 years ago
Alternatives and similar repositories for smashing-smart-contracts
Users that are interested in smashing-smart-contracts are comparing it to the libraries listed below
Sorting:
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- Symbolic virtual machine for Ethereum☆69May 29, 2018Updated 7 years ago
- A curated list of resources and tools for the MythX smart contract security API☆254Jun 15, 2020Updated 5 years ago
- Scrooge McEtherface is an Ethereum auto-looter that was presented at DEFCON 2019. It uses symbolic execution & SMT solving to generically…☆154Apr 28, 2023Updated 2 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆168Aug 5, 2021Updated 4 years ago
- ☆241Feb 28, 2022Updated 4 years ago
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,211Feb 23, 2026Updated 2 weeks ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Sep 9, 2020Updated 5 years ago
- Analysis tool for Solidity smart contracts. Prototype.☆35Nov 7, 2023Updated 2 years ago
- An RPC attack framework for Blockchain nodes.☆95Jul 16, 2023Updated 2 years ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆566Oct 22, 2023Updated 2 years ago
- ☆16Jun 21, 2021Updated 4 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Aug 13, 2021Updated 4 years ago
- Ethereum Bug Bounty Submission: Sending Negative Value Transactions☆19Feb 3, 2022Updated 4 years ago
- Weekly industry summary☆17Apr 27, 2018Updated 7 years ago
- An Analysis Tool for Smart Contracts☆1,342Jan 19, 2023Updated 3 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,035Dec 4, 2022Updated 3 years ago
- 256 bit bloom filter implementation written in Solidity☆39Mar 30, 2019Updated 6 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 2 years ago
- Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.☆319Feb 3, 2026Updated last month
- evm binary static analysis☆368Sep 4, 2023Updated 2 years ago
- *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts☆937Jan 10, 2019Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 3 years ago
- EVM dissassembler☆859Sep 4, 2023Updated 2 years ago
- The monorepo for Meson project☆11May 30, 2024Updated last year
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆490Nov 24, 2023Updated 2 years ago
- Utilities for interacting with the Ethereum virtual machine☆382May 7, 2019Updated 6 years ago
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆633Feb 15, 2024Updated 2 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆45Sep 8, 2021Updated 4 years ago
- Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village☆23Aug 13, 2021Updated 4 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆26Oct 28, 2018Updated 7 years ago
- Examples of Solidity security issues☆2,230Feb 24, 2023Updated 3 years ago
- Solidity Contract Function Profiler☆80Oct 14, 2018Updated 7 years ago
- A set of utilities for exploring Solidity contracts☆1,175Jun 26, 2025Updated 8 months ago
- Ethereum Smart Contracts for Arwen payment channels☆14Feb 12, 2022Updated 4 years ago
- EVM performance tests for a range of clients☆24Dec 27, 2019Updated 6 years ago
- Automated verification of uniqueness property for ZKP circuits☆94Mar 13, 2024Updated last year
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆42Aug 31, 2018Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago