snuspl / fluffy
Ethereum VM fuzzer
☆57Updated 3 years ago
Alternatives and similar repositories for fluffy:
Users that are interested in fluffy are comparing it to the libraries listed below
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆150Updated 2 months ago
- ☆25Updated last year
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆56Updated 2 years ago
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- ☆18Updated 2 weeks ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆103Updated 2 years ago
- a safety verifier for Solidity smart contracts☆95Updated 2 years ago
- ☆60Updated 2 years ago
- ☆24Updated 10 months ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆13Updated 2 months ago
- Cuda implementation of EVM bytecode executor☆105Updated 3 months ago
- ☆62Updated 2 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆92Updated last year
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆30Updated 2 years ago
- Source code of EtherSolve: static analysis of Ethereum bytecode☆70Updated last year
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆35Updated last month
- ☆22Updated 7 months ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆133Updated 2 years ago
- AI based fuzzer based on imitation learning☆154Updated 9 months ago
- A symbolic execution engine for EVM smart contract binaries.☆104Updated last month
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆12Updated 2 years ago
- ☆28Updated last year
- ☆18Updated 2 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆34Updated last year
- Presentations by rkm0959☆26Updated 11 months ago
- Solidity code instrumentation and analysis framework.☆52Updated 4 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆133Updated 3 months ago
- ☆98Updated 3 years ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 9 months ago
- ☆20Updated 5 years ago