========= Changelog ========= v1.0.0 (2026-06-19) -------------------- Initial release. * 15 integrated detection tools * Neuro-symbolic MemHint pipeline (LLM + Z3) * AI-powered 4-pass analysis with 3 validation layers * Time-travel debugging with rr + 4 AI commands * Taint flow tracker (6-phase, variable-level, 5 edge types) * Heaptrack heap profiling integration * Binary hardening audit with exploit correlation * 161 CVE pattern database * Interactive memory visualization (4 tabs) * Web dashboard with WebSocket scanning * Z3 path feasibility filtering and fix verification