danhper / evm-analyzer
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
☆24Updated 4 years ago
Alternatives and similar repositories for evm-analyzer:
Users that are interested in evm-analyzer are comparing it to the libraries listed below
- Semantics of Solidity in K☆30Updated 5 years ago
- EVM Bytecode Super Optimizer☆36Updated 4 years ago
- Designing Secure Cryptography☆21Updated 5 years ago
- This is solc-verify, a modular verifier for Solidity.☆52Updated last year
- Analysis tool for Solidity smart contracts. Prototype.☆37Updated last year
- ERC20 in K☆49Updated 5 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- Runtime verification tool for Solidity smart contracts.☆31Updated 2 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- ☆47Updated last year
- EVM performance tests for a range of clients☆24Updated 5 years ago
- Resources from paper "(In)Stability for the Blockchain: Deleveraging Spirals and Stablecoin Attacks"☆18Updated 3 years ago
- ☆28Updated last year
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆40Updated 6 years ago
- A spot to add introductory resources for people getting into the space☆23Updated 3 years ago
- Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…☆20Updated 6 years ago
- Formal verification of the zkWasm project☆11Updated 7 months ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆103Updated 2 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 9 months ago
- DEPRECATED: Web-based User Interface for SmartBugs☆11Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 7 months ago
- Official repo of the EVM LLVM project☆101Updated 3 years ago
- A dynamic checker for the ECF property incorporated into geth☆15Updated 7 years ago
- An open benchmark for evaluating smart contracts verification tools.☆13Updated this week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- ☆18Updated 3 years ago
- A fast ethereum transaction fuzzer☆26Updated 5 years ago
- ☆41Updated 2 years ago