marius/Open_Ultra_SAST
1
0
Fork 0
mirror of https://github.com/norandom/OpenUltraSAST.git synced 2026-10-17 12:09:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

search-with-proof 3.2: oracle probe passes on kube-ax in task-boundary mode [skip ci]

Browse Source 
All five oracles demonstrated, gaming demos inconclusive, 38 s, ~500 MB RSS.
The probe dispatcher accepts a skipped isolation check in task-boundary mode.

Co-Authored-By: Claude Fable 5.1 <[email protected]>
This commit is contained in:
Marius Ciepluch
2026-10-06 00:14:51 +02:00
co-authored by Claude Fable 5.1
parent 81cb02cd35
commit 263be30979
2 changed files with 67 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
benchmarks/ax/search_probe.py
+1 -1
View File
@@ -22,7 +22,7 @@ def validate_result(data: bytes, output: Path) -> None:
raise ValueError("invalid probe result")
if record["status"] == "ok" and (
set(record.get("oracles", {})) != {"sql", "path", "command", "ssrf", "xss"}
or record.get("isolation_check", {}).get("status") != "ok"
or record.get("isolation_check", {}).get("status") not in ("ok", "skipped")
):
raise ValueError("incomplete probe")
(output / "result.json").write_text(json.dumps(record))