ethereum / evmcodegen
A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
☆25Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for evmcodegen
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆30Updated last year
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆54Updated last year
- A simple EVM bytecode debugger☆19Updated 3 years ago
- An interactive EVM repl/shell.☆32Updated 3 years ago
- Detect SELFDESTRUCT opcodes in EVM runtime bytecode☆22Updated last year
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- Agent-based simulation environment for PoS Ethereum☆51Updated last year
- A static verifer for Ethereum Smart Contracts written in Vyper☆50Updated last year
- Implementation of a differential fuzzer for Ethereum Virtual Machines☆90Updated 2 months ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆38Updated 3 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆40Updated 6 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated last week
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆35Updated 5 years ago
- Smart contract auditing assistant tool for Truffle Framework.☆18Updated last year
- EVM Opcodes, Assembler, and Disassembler☆23Updated last year
- A fast ethereum transaction fuzzer☆25Updated 5 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 2 years ago
- Validation code for the EOF specification☆43Updated 2 weeks ago
- ☆17Updated 8 months ago
- ☆13Updated 4 months ago
- Library for building symbolically executable stack-based virtual machines☆72Updated 2 years ago
- ☆34Updated 4 months ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆33Updated 3 months ago
- Analysis tool for Solidity smart contracts. Prototype.☆36Updated last year
- FVyper: A collection of useful Vyper contracts developed with formal methods☆16Updated 4 years ago
- 😵💫 A Recurrent Neural Network (RNN) hallucinating solidity source code.☆42Updated 3 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Updated last year
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆25Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 4 years ago