metagon / ithildin
Semantic analyzer of EVM bytecode based on Mythril
☆9Updated 4 years ago
Alternatives and similar repositories for ithildin:
Users that are interested in ithildin are comparing it to the libraries listed below
- EVM ByteCode To Opcode Disassembler☆61Updated 5 months ago
- EVM bytecode disassembler☆25Updated 3 years ago
- A decompiler for EVM Bytecode to Solidity Code (based on Erays)☆25Updated 4 years ago
- Ethereum contracts storage modification examples for hardhat testing☆23Updated 2 years ago
- An EVM bytecode disassembler/assembler☆47Updated 4 months ago
- Detect SELFDESTRUCT opcodes in EVM runtime bytecode☆22Updated 2 years ago
- Evaluating fuzzer effectiveness☆21Updated last year
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆55Updated last year
- Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.☆18Updated 5 months ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆85Updated last month
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- A tool that performs extraction of storage layouts based on EVM bytecode.☆140Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated last year
- CL <-> EL multiplexing relay☆17Updated last year
- Vyper examples of LZ-enabled Omnichain contracts☆15Updated 2 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- A Solidity interpreter☆66Updated 3 weeks ago
- ☆28Updated 2 years ago
- ☆10Updated 3 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Pepeya, EVM Transaction decoder☆14Updated 2 years ago
- Gets gas cost estimates for Curve contracts using evm-trace.☆14Updated 2 years ago
- Vyper contracts to Fortune Reading contracts. Exploring Randomness to avoid MEV.☆12Updated 2 years ago
- ☆11Updated last year
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- ☆22Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 8 months ago
- Lydia: Who's Your Enemy in the Dark Forrest☆12Updated last year