Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/VulnPlanet/l3x
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
https://github.com/VulnPlanet/l3x
ai ethereum ethereum-contract gpt gpt-4 llm rust rust-security sast sast-rust smart-contracts smart-contracts-audit smart-contracts-security solana solana-audit solidity solidity-contracts static-analysis static-analyzer-for-rust static-analyzer-for-solana
Last synced: about 1 month ago
JSON representation
AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
- Host: GitHub
- URL: https://github.com/VulnPlanet/l3x
- Owner: VulnPlanet
- Created: 2024-01-27T17:01:05.000Z (8 months ago)
- Default Branch: main
- Last Pushed: 2024-06-03T06:49:05.000Z (3 months ago)
- Last Synced: 2024-06-09T18:37:38.992Z (3 months ago)
- Topics: ai, ethereum, ethereum-contract, gpt, gpt-4, llm, rust, rust-security, sast, sast-rust, smart-contracts, smart-contracts-audit, smart-contracts-security, solana, solana-audit, solidity, solidity-contracts, static-analysis, static-analyzer-for-rust, static-analyzer-for-solana
- Language: Rust
- Homepage: https://vulnplanet.com/
- Size: 6.91 MB
- Stars: 43
- Watchers: 3
- Forks: 7
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-security - L3X - AI-driven Static Analyzer (Vulnerability Assessment / Static Code Auditing)
README
# L3X - AI-driven Static Analyzer
L3X detects vulnerabilities in Rust and Solidity code based on patterns and AI code analysis. Various LLMs act as validators for vulnerabilities detected by patterns and validate each other's results in AI code analysis. Vulnerabilities are confirmed when they receive confirmation from a majority of validators. As a result, a report with validated vulnerabilities and detected safe patterns is generated.
## Supported Languages and Smart Contracts:
- General Rust code
- Rust-based Solana smart contracts
- Solidity-based Ethereum smart contracts## Design
![design](/etc/de.png)
## How It Works
- **Vulnerability Patterns Code Analysis:** Check the rules:
- [Rust-General](etc/patterns-rust.md)
- [Rust-Solana](etc/patterns-sol.md)
- [Solidity-Ethereum](etc/patterns-eth-solidity.md)
- **AI Code Analysis:** Analysis of smart contract code for vulnerabilities using Language Model validators (LLMs).
- **LLM Validators:** Potential vulnerabilities detected are passed on to multiple LLM validators for confirmation. Three different models are utilized: GPT-4, Gemini, and Claude 2.
- **Validation Process:** Each validator independently assesses potential vulnerabilities. Detected vulnerabilities undergo a validation check.
- **Decision Making:**
- **Valid:** A vulnerability is confirmed as valid when at least two LLM validators agree.
- **False Positive:** A finding is marked as a false positive when identified as such by at least two validators.
- **Cross-Validation:** Each LLM performs a cross-validation check during the AI Code Analysis phase.
- **Report Generation:** A report is generated that compiles all confirmed vulnerabilities, with duplicates removed.## Current limitations
> Currently it's MVP
1. Vulnerabilities detects only based on vuln patterns
2. GPT-3.5/4 act as validators for vulnerabilities detected by patterns## LLM supported
- GPT-3.5
- GPT-4
- Claude (Soon)
- Gemini (Planned)## Set API Keys
Set the openai api key as an environment variable OPENAI_KEY in your operating system
Linux/Mac
```bash
export OPENAI_KEY=sk-ApiKeyExample
```Windows
```bash
set OPENAI_KEY=sk-ApiKeyExample
```If you want to specify particular OpenAI org or project, set up `OPENAI_ORG_ID` and `OPENAI_PROJECT_ID` environment variables.
## How to Use ❓
1. Build
```bash
cargo build
```
2. Compile
```bash
cargo run
```
3. Run- By default, only critical and high severity findings are validated. To validate all findings, use the ```--all-severities``` flag.
- To skip vulnerability validation and generate the report without validation, use the ```--no-validation``` flag.
- To specify the OpenAI model to use for vulnerability validation (default is gpt-3.5-turbo), use the ```--model``` flag followed by the model name (e.g., --model=gpt-4).```bash
l3x smart-contracts-folder-to-analyse [--all-severities] [--no-validation] [--model=MODEL]
```## Usage Example 🏁
![exec!](etc/exec.png)
![gif!](etc/report.gif)
[Report example - Rust](https://github.com/VulnPlanet/l3x/blob/main/etc/L3X_SAST_Report_Rust.html)
[Report example - Solana](https://github.com/VulnPlanet/l3x/blob/main/etc/L3X_SAST_Report.html)
[Report example - Ethereum](https://github.com/VulnPlanet/l3x/blob/main/etc/Solidity-Ethereum_L3X_SAST_Report.html)
## Roadmap 🗓️
- ~~Design~~
- ~~MVP concept~~
- ~~Rust support~~
- ~~Solana support~~
- ~~Solidity support~~
- ~~GPT-4 Integration~~
- Claude Integration 🔜
- Gemini Integration
- AI Code Analysis
- AI Code Analysis - Cross-Validation
- Refactor
- Accuracy Comparison## Contact 📧
All suggestions write to contact [email protected]