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