Zellic / solidity-parser
Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
☆53Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for solidity-parser
- Public infra related to hosting Paradigm CTF☆103Updated 7 months ago
- A smart contract security search utility☆67Updated this week
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆109Updated 3 months ago
- A 6-part series on how to use Echidna on real-world codebases☆98Updated last year
- ☆88Updated 5 months ago
- My swiss army knife for reversing EVM bytecodes (super experimental)☆99Updated 3 weeks ago
- ☆66Updated 10 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆93Updated 5 months ago
- Experimental tool to ease the review of smart contracts upgrades☆74Updated 7 months ago
- Symbolic stack CFG generator for EVM☆180Updated 6 months ago
- Challenges and Solutions of Blaz CTF 2023☆40Updated 11 months ago
- List of Halmos resources.☆48Updated last month
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆50Updated 7 months ago
- A list of public fuzzing campaigns☆73Updated 3 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆124Updated 4 months ago
- ☆43Updated last year
- template for efficient paradigm ctf testing & scripts☆154Updated last year
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆90Updated last year
- Sui smart contract fuzzer☆32Updated 8 months ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆70Updated last month
- ☆97Updated last year
- Security Reviews and Audit Checklists☆94Updated 6 months ago
- A Solidity code search tool with built-in static analysis detection☆73Updated 4 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- ☆35Updated 5 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆89Updated 2 months ago
- PoC of KyberSwap double liquidity add exploit☆40Updated last year
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆69Updated 7 months ago
- Barebones Solidity smart contract fuzzer☆92Updated 2 years ago
- Solidity Fuzzing Library☆32Updated 3 months ago