sbip-sg / discover
☆11Updated this week
Related projects: ⓘ
- ☆13Updated 5 years ago
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆92Updated last year
- ☆20Updated 4 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆12Updated 2 years ago
- ☆16Updated 4 months ago
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆50Updated 2 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆14Updated last month
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆27Updated last year
- This is solc-verify, a modular verifier for Solidity.☆50Updated last year
- A fast ethereum transaction fuzzer☆24Updated 5 years ago
- Static analysis framework for EVM bytecode☆28Updated 4 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆12Updated 2 years ago
- Source code of EtherSolve: static analysis of Ethereum bytecode☆65Updated last year
- ☆60Updated 2 years ago
- ☆58Updated last year
- SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection☆72Updated 7 months ago
- ☆13Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆39Updated 3 months ago
- Ethereum VM fuzzer☆53Updated 3 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆32Updated last year
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆60Updated last year
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆40Updated 6 years ago
- ☆18Updated 2 years ago
- ☆15Updated 4 months ago
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆45Updated last year
- A control-flow graph builder for Solidity smart contracts.☆26Updated 4 years ago
- ☆24Updated 4 months ago
- ☆40Updated this week
- a safety verifier for Solidity smart contracts☆91Updated last year