VulnPlanet / l3x
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
☆81Updated 7 months ago
Alternatives and similar repositories for l3x
Users that are interested in l3x are comparing it to the libraries listed below
Sorting:
- A curated list of awesome Solana security resources☆59Updated last year
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆120Updated 8 months ago
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆39Updated last week
- Sui smart contract fuzzer☆36Updated last year
- Web3 Security Toolbox☆73Updated last year
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆57Updated 2 months ago
- Published security audits☆78Updated 2 weeks ago
- Generate invariants for Foundry projects with LLM☆98Updated 8 months ago
- A static analysis tool for anchor rust programs.☆87Updated 2 months ago
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆111Updated last month
- Benchmark Generator for Smart-Contract Fuzzers☆137Updated 5 months ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆41Updated 3 months ago
- Lints based on the Sealevel Attacks☆43Updated this week
- A static analyzer for NEAR smart contract in Rust☆105Updated last year
- We created a cybersecurity Systematization of Knowledge for Solana applications and protocols. We call it the Solana Security Strategy: s…☆93Updated last year
- A tool for crashing blockchain nodes☆37Updated 2 months ago
- Node module for scanning and visualize Solana accounts☆28Updated 2 months ago
- Cairo/Starknet smart contract fuzzer☆122Updated 3 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆106Updated 4 months ago
- All the private and public audits that I have worked on.☆125Updated last week
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆18Updated 3 weeks ago
- Practical fuzzing examples for the mastering fuzzing talk☆110Updated last year
- A smart contract security search utility☆74Updated 4 months ago
- ☆34Updated last year
- ☆76Updated last year
- Implementation of the Ethereum Virtual Machine in Rust.☆55Updated 9 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆230Updated 2 years ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆48Updated this week
- A 6-part series on how to use Echidna on real-world codebases☆107Updated last year
- A collection of my security audits☆53Updated 2 months ago