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

trevon/fold

Fork 0

Commit graph

Author	SHA1	Message	Date
trvon	e30764fb19	bench: extend fold_eval scoring with labeled negative cases Add negative_cases_from_universe to expand an explicit file-by-rule universe into labeled negatives (enabling TP/FP/TN/FN, not just TP/FP), plus project-eval harness updates in run_project_eval and the score/score_fp/quality-gate helpers.	2026-08-16 16:43:51 -06: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

e30764fb19

bench: extend fold_eval scoring with labeled negative cases

Add negative_cases_from_universe to expand an explicit file-by-rule universe
into labeled negatives (enabling TP/FP/TN/FN, not just TP/FP), plus project-eval
harness updates in run_project_eval and the score/score_fp/quality-gate helpers.

2026-08-16 16:43:51 -06: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