OpenZeppelin / sgp
Solidity ANTLR4 grammar Python parser
☆13Updated last month
Alternatives and similar repositories for sgp:
Users that are interested in sgp are comparing it to the libraries listed below
- ☆32Updated 9 months ago
- ☆13Updated last year
- ☆37Updated 7 months ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆40Updated 2 months ago
- ☆75Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆136Updated 4 months ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- CTF Writeups☆37Updated last year
- ☆38Updated 11 months ago
- A smart contract security search utility☆74Updated 4 months ago
- Analyzer for Uniswap v4 Hooks☆10Updated last year
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆48Updated 5 months ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 8 months ago
- An EVM bytecode disassembler/assembler☆46Updated 4 months ago
- A symbolic execution engine for EVM smart contract binaries.☆107Updated last week
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆94Updated 7 months ago
- Damn Vulnerable DeFi v4 Solutions☆42Updated 7 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆71Updated last year
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆32Updated 3 years ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Challenges and Solutions of Blaz CTF 2023☆44Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Public infra related to hosting Paradigm CTF☆112Updated last year
- ☆23Updated 8 months ago
- ☆28Updated last year
- ☆16Updated 6 months ago
- DeFiVulnLabsCosmWasm☆50Updated last year
- VSCode extension for debugging Solidity using Simbolik API server☆26Updated this week
- Generate invariants for Foundry projects with LLM☆98Updated 7 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆72Updated 9 months ago