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
Sorting:
- EVM bytecode disassembler☆25Updated 3 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 6 months ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- ☆10Updated 3 years ago
- A decompiler for EVM Bytecode to Solidity Code (based on Erays)☆25Updated 4 years ago
- An EVM bytecode disassembler/assembler☆47Updated 4 months ago
- ProMutator: Detecting Vulnerable Price Oracles in DeFi by Mutated Transactions☆39Updated 3 years ago
- Ethereum contracts storage modification examples for hardhat testing☆23Updated 2 years ago
- ☆11Updated last year
- ☆49Updated 2 years ago
- Access your MDBX database over network safely☆21Updated 4 months ago
- Detect SELFDESTRUCT opcodes in EVM runtime bytecode☆22Updated 2 years ago
- Vyper contracts to Fortune Reading contracts. Exploring Randomness to avoid MEV.☆12Updated 2 years ago
- A Python script to scan EVM-based blockchains for smart contract upgrades☆10Updated last year
- Unilateral fair ordering for the Ethereum protocol☆20Updated last year
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- WIP transpiler: EVM bytecode -> 🐍 IR -> EVM bytecode☆12Updated 3 weeks ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆36Updated last year
- ☆28Updated 2 years ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆52Updated 2 weeks ago
- Vyper Deep Dive Notes and Scripts☆26Updated last year
- A go-ethereum fork enabling additional testing capabilities for medusa☆12Updated 3 weeks ago
- Lydia: Who's Your Enemy in the Dark Forrest☆12Updated last year
- ☆19Updated 2 years ago
- We are dedicated to stopping flash loan and oracle manipulation attacks. Please consider contributing if you have additional information.…☆20Updated 4 years ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆91Updated 2 months ago
- Visor specific Uniswap v3 managed position analytics☆30Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated 2 years ago
- Source code of EtherSolve: static analysis of Ethereum bytecode☆74Updated last year