FuzzingLabs / sol-azyLinks
Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs
☆96Updated 2 weeks ago
Alternatives and similar repositories for sol-azy
Users that are interested in sol-azy are comparing it to the libraries listed below
Sorting:
- Sui smart contract fuzzer☆48Updated last year
- Binary Ninja eBPF & Solana plugin (disasm & LLIL)☆37Updated 3 years ago
- Static analyzer tool for Solana☆81Updated 2 months ago
- Practical fuzzing examples for the mastering fuzzing talk☆109Updated 2 years ago
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆56Updated 2 months ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆61Updated 7 months ago
- ☆88Updated 2 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆127Updated last year
- Published security audits☆108Updated this week
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆45Updated 8 months ago
- ☆38Updated last year
- Cairo/Starknet smart contract fuzzer☆129Updated 9 months ago
- A curated list of awesome Solana security resources☆68Updated 2 weeks ago
- CTF Writeups☆36Updated 2 years ago
- Public infra related to hosting Paradigm CTF☆114Updated last year
- Framework for Solana CTF challenges☆75Updated last month
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆88Updated 2 months ago
- A collection of Solana CTF challenges☆194Updated 3 years ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆29Updated 3 weeks ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆75Updated last year
- Generate invariants for Foundry projects with LLM☆104Updated last year
- Checklist for security audit of tron projects by @positivesecurity☆26Updated last year
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- Detect or infer the Anchor, Solana, and Rust versions needed for an Anchor project.☆17Updated this week
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆62Updated this week
- Public audits☆51Updated 2 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆92Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆48Updated last year
- An EVM bytecode disassembler/assembler☆54Updated last year
- DeFi exploits for educational purposes☆60Updated 2 years ago