{ "schema_version": 1, "project": "fold", "lane": "source", "corpus": { "path": "../../..", "compile_db": "../../../build/release/compile_commands.json", "missing_corpus": "fail" }, "analysis": { "detectors": [ "clone", "unused-function", "uninit-read", "hardcoded-credential", "use-after-move", "sql-injection" ], "path_regex": "/src/(cli/tu_security_prefilter|detect/clone|detect/hardcoded_credential|detect/sql_injection|frontend/subprocess|index/store|symbolic/function_effects|symbolic/loop_inventory)\\.cpp$", "max_tus": 0, "processes": 1, "budget_seconds": 60, "per_query_ms": 2000, "per_tu_timeout": 60 }, "evaluation": { "repeats": 2, "dispositions": "../fold/source_dispositions.json", "gold": "../../../bench/gold/fold_self_gold.json", "gold_thresholds": { "precision": 1.0, "recall": 1.0 }, "baseline": "baselines/fold_source.json", "wall_regression_pct": 20.0, "rss_regression_pct": 20.0, "stability": { "max_churn": 0, "min_pairwise_jaccard": 1.0 }, "z3_timeout_budget": 0 } }