{"analyzer_versions":{"semgrep":"1.163.0"},"body":{"audit_stages":[{"completed_at":"2026-05-27T19:37:43.806Z","description":"Normalize the submitted contract target and confirm it can enter the Solidity audit lane.","id":"intake","label":"Audit intake","limitations":[],"status":"passed"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Resolve pasted source or verified explorer source without treating malformed input as demo data.","id":"source_acquisition","label":"Source acquisition","limitations":[],"status":"passed"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Confirm the configured static analyzers can run and produce parseable output.","id":"toolchain_validation","label":"Toolchain validation","limitations":["One or more analyzers emitted warnings; report findings remain usable but should be read with limitations."],"status":"partial"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Run static analyzers against the sandboxed source and collect raw detector evidence.","id":"analyzer_execution","label":"Analyzer execution","limitations":["One or more analyzers emitted warnings; report findings remain usable but should be read with limitations."],"status":"partial"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Dedupe detectors, classify vulnerability classes and compute severity-weighted risk.","id":"finding_aggregation","label":"Finding aggregation","limitations":[],"status":"passed"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Frame automated findings with conservative exploitability and limitation notes.","id":"exploitability_context_review","label":"Exploitability context review","limitations":["Automated context review is conservative and does not replace a manual exploitability assessment."],"status":"partial"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Prepare remediation-oriented evidence for the shareable report artifact.","id":"remediation_draft","label":"Remediation draft","limitations":["Remediation notes are generated from detector evidence and require project-specific engineering review."],"status":"partial"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Flag whether a human operator has reviewed the automated result before buyer escalation.","id":"operator_review","label":"Operator review","limitations":["Human operator review has not been attached to this automated scan yet."],"status":"blocked"},{"completed_at":"2026-05-27T19:37:43.806Z","description":"Publish the report artifact or explain why the scan failed closed.","id":"final_report","label":"Final report","limitations":[],"status":"passed"}],"counts":{"access-control":0,"centralization":0,"flash-loan":0,"front-running":0,"gas-dos":0,"logic":0,"math-overflow":0,"oracle-manipulation":0,"other":0,"reentrancy":0,"timestamp-dependence":0,"unchecked-call":0,"uninitialized":0},"executive_summary":["No detector raised a finding against the submitted source. This is not a guarantee of safety; manual review remains required.","Automated static analysis only. A human operator review has not been attached to this report."],"findings":[],"limitations":["VegaSec runs static analysis only. Findings can include false positives, miss patterns the configured detectors do not cover, and never replace manual auditor judgement.","Scan ran slither and semgrep against a single sandboxed copy of the source. Multi-file dependency analysis beyond what slither resolves automatically is out of scope.","Some detectors emitted warnings (see `warnings`); their output was still ingested but should be read with extra care.","This report is not a certification, audit attestation, or financial advice."],"warnings":["slither exit 1: "]},"canonical_version":"vss-canonical-1","coverage_status":"unknown","final_score":100,"findings_count":0,"generated_at":"2026-05-27T19:37:43.806Z","id":"VSS-20260527-UVXMDAQG","severity_counts":{"critical":0,"high":0,"informational":0,"low":0,"medium":0},"source_filename":"WETH9.sol","source_hash":"7d2056d8890d1ec9cba0c08ef5901b1a6192f37ebec064a6eeb0816b9f5d8a3f","surface":"solidity","warnings_count":1}