l3x

AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.

GitHub

60 stars
3 watching
9 forks
Language: Rust
last commit: 4 months ago
Linked from 1 awesome list

aiethereumethereum-contractgptgpt-4llmrustrust-securitysastsast-rustsmart-contractssmart-contracts-auditsmart-contracts-securitysolanasolana-auditsoliditysolidity-contractsstatic-analysisstatic-analyzer-for-ruststatic-analyzer-for-solana

Backlinks from these awesome lists: