VulnPlanet / l3x
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
☆63Updated last month
Related projects ⓘ
Alternatives and complementary repositories for l3x
- A curated list of awesome Solana security resources☆49Updated 9 months ago
- A static analyzer for NEAR smart contract in Rust☆104Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆125Updated 5 months ago
- A mutation-based tool for finding bugs in tests☆110Updated this week
- A gentle, example-based guide to getting started with the Move prover.☆40Updated 2 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆109Updated 3 months ago
- Web3 Security Toolbox☆73Updated 6 months ago
- Lints based on the Sealevel Attacks☆35Updated last month
- ☆78Updated 2 weeks ago
- An Alloy transport to send transaction bundles via Flashbots.☆97Updated 3 weeks ago
- Sui smart contract fuzzer☆32Updated 8 months ago
- ☆192Updated this week
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆206Updated this week
- Utilities for working with native solc and compiling projects.☆76Updated this week
- A static analyzer and linter for the Circom zero-knowledge DSL☆236Updated 5 months ago
- Practical examples of the Rust Ethereum Virtual Machine☆53Updated 2 months ago
- Large Language Model for Blockchain☆49Updated last year
- ☆15Updated 4 months ago
- Collection of public security reviews☆152Updated last week
- ☆137Updated last month
- Using mutations to improve specs and test suites☆167Updated 2 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆218Updated last year
- CLI based transaction simulator supporting any EVM chain, written in Rust.☆56Updated last year
- A smart contract security search utility☆67Updated this week
- uniswap sdk core in rust☆47Updated 2 weeks ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆58Updated 4 months ago
- ☆97Updated last week
- Solidity 0.8.X AST parsing and analysis in Rust.☆76Updated last year
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆38Updated 4 months ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago