Pipeline Internals
Scan Sequence
Resolve target (binary vs source, language detection)
Load MemHint summaries if available
Validate tool availability
Execute tools in parallel (asyncio)
Parse outputs → MemoryError objects
Deduplicate across tools
AI 4-pass analysis with MemHint context
Fix validation (pattern + CWE + Z3)
Post-processing (CVE, relationships, hardening)
Cache and present
WebSocket Events
memhint_start, memhint_done, scan_start, tool_done,
parse_done, ai_start, ai_progress, complete, error