trevon/fold - Forgejo: Beyond coding. We Forge.

trevon/fold

Fork 0

Commit graph

Author	SHA1	Message	Date
trvon	0452353d2e	Implement walkSwitch: analyze case bodies in switch statements Results: +86 TP across all CWEs (476:+3, 369:+18, 190:+51, 121:+14)	2026-05-15 18:32:45 -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

Author

SHA1

Message

Date

trvon

0452353d2e

Implement walkSwitch: analyze case bodies in switch statements

Results: +86 TP across all CWEs (476:+3, 369:+18, 190:+51, 121:+14)

2026-05-15 18:32:45 -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

2 commits