3 commits

Author	SHA1	Message	Date
trvon	f37222d4fb	fix(scan): harden frontend analysis	2026-07-28 11:57:38 -04:00
trvon	9be8deb4f6	feat: enrich findings with path trace, counterexample, variable info ... - SizeInfo struct: buffer_name, capacity, index_expr for OOB findings - path_trace: vector of branch/call events from SafetyObserver - counterexample: Z3 model key=value pairs for SAT findings - variable_name, sink_function: named context for LLM steering - Serialized in FindingEvidence + SARIF properties	2026-05-29 23:13:09 -04:00
trvon	ffc7917957	feat: symbolic IR, swift backend, binary-to-fuzz pipeline, SARIF fixes ... - Rust IR encoder (encodeRustIr): walks HIR expr trees, fires SafetyObserver hooks - Swift SIL frontend (fold-swift): swiftc -emit-sil parser, demangling, NDJSON output - SwiftBackend: --mode swift CLI routing, shells out to fold-swift - Binary-to-fuzz: Mach-O export discovery, ARM64 ABI param-count inference, dlopen harness generation - Language-agnostic IR: json_keys canonical constants, Call/Member/ArraySubscript/Cast/HeapNew nodes - Dogfood fixes: SARIF kind field, cross-detector dedup, harness_file in predictions, Swift stoi safety - Corpuses: swift-sil-z3-corpus.md, binary-fuzz-corpus.md - AGENTS.md: cross-language wire format rule	2026-05-27 15:29:14 -04:00