Stop 8 · Automated analysis
Contract Analyzer
Automated static analysis in an isolated worker: compile with solc, run Slither, normalise findings with detector, severity, confidence, location and CWE, and render a technical report. This stop shows a recorded run against a deliberately vulnerable test contract. It is a first pass for reviewers, not a manual audit.
On this stop
- Read the pipeline steps and the findings by severity.
- On the full page, submit a verified contract, pasted source or a public repository.
Recorded run: Slither 0.11.6 with solc 0.8.26 against VulnerableVault.sol, a deliberately vulnerable test contract shipped with Quantix (tests/fixtures/analyzer). Recorded October 2026.
Findings by severity
- Critical
2
- High
1
- Medium
1
- Low
4
- Informational
3
Tools and provenance
- Static analyzer
- Slither 0.11.6
- Compiler
- solc 0.8.26
- Sandbox
- —
- Compilation unit
- 1 file(s), 1.6 kB
- Contracts
- VulnerableVault
01Validate input: succeeded
Pasted source: 1 Solidity file
02Fetch source: succeeded
Source submitted with the request
03Resolve dependencies: succeeded
1 file; no imports
04Identify compiler version: succeeded
solc 0.8.26 (satisfies pragma ^0.8.20)
05Compile contract: succeeded
Compiled 1 contract: VulnerableVault
06Run static analysis: succeeded
Slither 0.11.6: 11 results in project files
07Normalize findings: succeeded
Detectors mapped to category, CWE and recommendation
08Classify severity: succeeded
2 critical, 1 high, 1 medium, 4 low, 3 informational
09Save results: succeeded
Recorded with the project for offline presentation
10Generate technical report: skipped
Reports are generated for analyses run on the Contract Analyzer page
Showing 11 of 11 findings.