VulnPlanet / l3x
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
☆72Updated 3 months ago
Alternatives and similar repositories for l3x:
Users that are interested in l3x are comparing it to the libraries listed below
- A curated list of awesome Solana security resources☆53Updated last year
- A static analyzer for NEAR smart contract in Rust☆105Updated last year
- Web3 Security Toolbox☆73Updated 9 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆112Updated 5 months ago
- RustBlock-Outpost is the most complete blockchain-oriented Rust knowledge base that was created for educational purposes. Check it to fin…☆50Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆226Updated last year
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆58Updated 6 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆46Updated 2 months ago
- Generate invariants for Foundry projects with LLM☆92Updated 5 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆130Updated last month
- ☆79Updated 2 months ago
- A smart contract security search utility☆71Updated last month
- This repo contains my solution walk-through and codes for each Damn Vulnerable Defi V3 challenges.☆30Updated last year
- We created a cybersecurity Systematization of Knowledge for Solana applications and protocols. We call it the Solana Security Strategy: s…☆89Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆101Updated last month
- This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, c…☆59Updated 5 months ago
- Lints based on the Sealevel Attacks☆36Updated 3 months ago
- Published security audits☆61Updated 3 months ago
- A collection of my security audits☆54Updated 3 weeks ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- Scrappy bot army that automates web3 bug hunting workflows.☆89Updated this week
- A static analysis tool for anchor rust programs.☆72Updated 2 months ago
- ☆100Updated last week
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆56Updated 9 months ago
- ☆115Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- Practical examples of the Rust Ethereum Virtual Machine☆55Updated 4 months ago
- Sui smart contract fuzzer☆33Updated 10 months ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆30Updated 10 months ago
- Hacks/Vulns/Audits Compilation☆159Updated 4 months ago