2 commits

Author	SHA1	Message	Date
trvon	f218af3d8b	Add githooks, clang-format all code, fix CI Z3 paths	2026-05-15 00:08:47 -04:00
trvon	3f1234f7bb	fold: bounded symbolic SAST for C++ ... Clang LibTooling + Z3 BV-64 encoding. 11 detectors: clone, equiv, class-dup, dead, null-deref, div-by-zero, int-overflow, oob, int-truncation, sign-conversion, taint-track. Interfaces: CLI, MCP (JSON-RPC 2.0), LSP. Output: SARIF 2.1.0, JSON, Markdown.	2026-05-14 23:14:54 -04:00