VulnPlanet / l3xLinks
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
☆85Updated 11 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☆62Updated last year
- Sui smart contract fuzzer☆43Updated 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 3 months ago
- A static analyzer for NEAR smart contract in Rust☆108Updated last year
- Lints based on the Sealevel Attacks☆44Updated last week
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆122Updated last year
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆51Updated last month
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 8 months ago
- A static analysis tool for anchor rust programs.☆102Updated last week
- Web3 Security Toolbox☆73Updated last year
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆76Updated 2 weeks ago
- Generate invariants for Foundry projects with LLM☆101Updated last year
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆97Updated 5 months ago
- ☆81Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆222Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆235Updated 2 months ago
- Node module for scanning and visualize Solana accounts☆33Updated 6 months ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆64Updated 3 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆110Updated last week
- Static Analyzer for Starknet smart contracts☆145Updated last year
- EDB: The EVM Project Debugger☆34Updated this week
- Large Language Model for Blockchain☆56Updated 2 years ago
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆64Updated last month
- Verified Ethereum Smart Contract dataset☆29Updated last year
- Solidity ANTLR4 grammar Python parser☆13Updated 5 months ago
- Fine-tuning GPT for Smart Contract Auditing☆168Updated 2 years ago
- A curated list of blockchain security Capture the Flag (CTF) competitions☆90Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆98Updated 11 months ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated last month