runtimeverification / evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
☆516Updated this week
Alternatives and similar repositories for evm-semantics:
Users that are interested in evm-semantics are comparing it to the libraries listed below
- EVM disassembler☆552Updated 2 years ago
- Utilities for interacting with the Ethereum virtual machine☆371Updated 5 years ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆162Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆239Updated 2 years ago
- Smart contract specification language☆235Updated last week
- The start page about my efforts around smart contract verification☆299Updated 2 years ago
- A formal verifier and analysis tool for Solidity Smart Contracts☆245Updated 2 years ago
- Ethereum Virtual Machine tools and guide☆447Updated 3 years ago
- evm binary static analysis☆355Updated last year
- ☆240Updated 2 years ago
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆221Updated 5 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆323Updated last year
- EVM dissassembler☆850Updated last year
- The Ethereum EVM JIT☆168Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 4 years ago
- Ethereum solidity graph plain debugger. To have the whole picture when debugging.☆353Updated last year
- Smart contracts which are formally verified☆725Updated 2 years ago
- Ethereum EVM illustrated☆275Updated 2 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆131Updated 2 years ago
- Simplify Ethereum security analysis and testing☆339Updated last year
- ☆166Updated 8 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,026Updated 2 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆219Updated 5 years ago
- Correctness proofs of Ethereum token contracts☆97Updated 5 years ago
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆617Updated last year
- Implementation of a novel practical scheme for submarine commitments☆228Updated 2 years ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆365Updated 8 months ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 10 months ago