runtimeverification / evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
☆509Updated this week
Related projects ⓘ
Alternatives and complementary repositories for evm-semantics
- EVM disassembler☆546Updated 2 years ago
- The start page about my efforts around smart contract verification☆299Updated 2 years ago
- Utilities for interacting with the Ethereum virtual machine☆366Updated 5 years ago
- Ethereum Virtual Machine tools and guide☆443Updated 3 years ago
- A formal verifier and analysis tool for Solidity Smart Contracts☆245Updated last year
- Overview of the formal verification projects in the Ethereum ecosystem.☆321Updated 11 months ago
- Smart contract specification language☆219Updated this week
- ☆236Updated 2 years ago
- EVM dissassembler☆839Updated last year
- Smart contracts which are formally verified☆716Updated 2 years ago
- Ethereum solidity graph plain debugger. To have the whole picture when debugging.☆353Updated last year
- evm binary static analysis☆350Updated last year
- Static program analysis framework for Ethereum smart contract bytecode.☆161Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆237Updated 2 years ago
- Common tests for all Ethereum implementations☆557Updated this week
- A curated list of resources and tools for the MythX smart contract security API☆250Updated 4 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆218Updated 4 years ago
- Ethereum EVM illustrated☆262Updated 2 years ago
- The Ethereum EVM JIT☆168Updated 2 years ago
- EVMC – Ethereum Client-VM Connector API☆348Updated this week
- Simplify Ethereum security analysis and testing☆332Updated last year
- Implementation of a novel practical scheme for submarine commitments☆225Updated last year
- Correctness proofs of Ethereum token contracts☆98Updated 5 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,016Updated last year
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆219Updated 5 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆130Updated last year
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆155Updated 4 years ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆556Updated last year
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆612Updated 8 months ago
- Scribble instrumentation tool☆315Updated 2 months ago