Audit Smart
Contracts
Upload a Solidity file, Solana Rust program, or a zip of multiple contracts. Get a comprehensive security report with risk scores and actionable fixes.
Drop your .sol, .rs or .zip file here
or click to browse
Three bugs, thirteen lines.
This vault compiles, passes its tests, and loses every deposit. Select a finding to see the lines that cause it.
Every finding traces back to a rule.
A scanner that cannot explain itself is a scanner you cannot act on. Each report names the rule that fired, why it scored what it did, and the fix.
Slither-backed, not regex-guessed
EVM scans run Slither and map its detectors onto 30 curated rules. Checks that do not map to a rule are dropped rather than surfaced as noise, and duplicates collapse to one finding with an occurrence count.
Rule mapping51 Slither detectors mapped→ 30 rules, each with CVSS factorsunmapped checks discardedA risk score you can recompute
Each finding scores as CVSS base × confidence weight × severity multiplier. The sum is normalised across a curve, so twenty low findings never outrank one critical.
Score functionΣ (cvss × conf × sev)100 × (1 − e^(−total/80))non-empty findings floor at 5Solidity and Solana, one upload
Drop a zip of mixed contracts. Each file is routed by content, not extension — Solidity through Slither, Rust through cargo-audit, a pattern pass and cargo-geiger.
Router.sol → slither → 30 rules.rs → cargo-audit + 23 rules8 chains detected from source