A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
☆26Oct 28, 2018Updated 7 years ago
Alternatives and similar repositories for evmcodegen
Users that are interested in evmcodegen are comparing it to the libraries listed below
Sorting:
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆59Jun 9, 2023Updated 2 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- ☆15Oct 14, 2021Updated 4 years ago
- Source code of EtherSolve: static analysis of Ethereum bytecode☆77Sep 21, 2025Updated 5 months ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- A practical Ethereum smart contract decompiler☆13Aug 2, 2018Updated 7 years ago
- Gather blocks and headers from an ethers provider☆17Oct 6, 2022Updated 3 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Utilities for interacting with the Ethereum virtual machine☆383May 7, 2019Updated 6 years ago
- ☆18Dec 21, 2025Updated 2 months ago
- ☆18May 24, 2022Updated 3 years ago
- Analysis tool for Solidity smart contracts. Prototype.☆35Nov 7, 2023Updated 2 years ago
- An interactive EVM repl/shell.☆32Sep 30, 2021Updated 4 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆18Jan 31, 2019Updated 7 years ago
- A tool for exploring the solc abstract syntax tree☆38Mar 20, 2024Updated last year
- A collection of smart contracts to save gas on Ethereum to deploy other contracts leveraging CHI tokens.☆19Aug 10, 2020Updated 5 years ago
- Precise Attack Synthesis for DeFi Apps☆47Aug 15, 2022Updated 3 years ago
- A decompiler for EVM Bytecode to Solidity Code (based on Erays)☆24May 27, 2020Updated 5 years ago
- Melfina is a proof-of-thought smart contract built on the Ethereum blockchain.☆18Oct 17, 2021Updated 4 years ago
- Toolbox for auditing and patching vulnerabilities in smart contracts.☆39Jul 20, 2023Updated 2 years ago
- Tinyman AMM Contracts V2☆23Dec 14, 2022Updated 3 years ago
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆221Jul 7, 2019Updated 6 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆107Dec 30, 2022Updated 3 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 2 years ago
- Visualize your Aragon DAO Templates☆30Jun 24, 2024Updated last year
- ☆64Jan 4, 2023Updated 3 years ago
- An Ethereum Tx Station - Batch transactions and save 30% on gas costs. 🚄🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃💨☆28Jan 4, 2023Updated 3 years ago
- Visor specific Uniswap v3 managed position analytics☆29May 22, 2023Updated 2 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- Compiler framework for ZK VMs☆35Aug 2, 2023Updated 2 years ago
- All the money legos. This is not meant for production use.☆33Aug 30, 2023Updated 2 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago
- ☆30Dec 28, 2024Updated last year
- EVM CFG recovery☆126Jun 29, 2023Updated 2 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆137Dec 7, 2022Updated 3 years ago
- Program that detects arbitrage opportunities in the foreign exchange market using Bellman-Ford algorithm.☆10Aug 1, 2021Updated 4 years ago
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 2 years ago
- CDCL(Crypto) SAT solver for cryptanalysis problems☆11Mar 5, 2021Updated 4 years ago