VulnPlanet / l3xLinks
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
☆82Updated 8 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
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆40Updated last month
- Sui smart contract fuzzer☆40Updated last year
- A gentle, example-based guide to getting started with the Move prover.☆50Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 6 months ago
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆116Updated 2 months ago
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆62Updated last week
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆119Updated 10 months ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆41Updated 4 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆107Updated 6 months ago
- Generate invariants for Foundry projects with LLM☆100Updated 9 months ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆48Updated last month
- A smart contract security search utility☆75Updated 6 months ago
- Web3 Security Toolbox☆73Updated last year
- A tool for crashing blockchain nodes☆37Updated 3 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆97Updated 9 months ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆52Updated last year
- Lints based on the Sealevel Attacks☆43Updated 2 weeks ago
- Practical fuzzing examples for the mastering fuzzing talk☆109Updated last year
- A static analyzer for NEAR smart contract in Rust☆106Updated last year
- A Solidity code search tool with built-in static analysis detection☆74Updated 11 months ago
- Node module for scanning and visualize Solana accounts☆31Updated 3 months ago
- Cairo/Starknet smart contract fuzzer☆126Updated 2 months ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆60Updated 3 months ago
- ☆42Updated 11 months ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆57Updated 2 weeks ago
- Daily activity feed of bug fixes and code changes in GitHub repositories listed as assets in scope for bug bounty programs in Immunefi.☆53Updated this week
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 11 months ago
- Experimental tool to ease the review of smart contracts upgrades☆80Updated last year
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆22Updated 2 months ago