{"version": "2.1.0", "$schema": "https://json.schemastore.org/sarif-2.1.0.json", "runs": [{"tool": {"driver": {"name": "Repobility", "informationUri": "https://repobility.com", "rules": [{"id": "scanner-4628dc9aa2246e4e", "name": "Possibly dead Python function: program_path", "shortDescription": {"text": "Possibly dead Python function: program_path"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-e287c585551d510e", "name": "Possibly dead Python function: folder_path", "shortDescription": {"text": "Possibly dead Python function: folder_path"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-f2146488bac9dee5", "name": "Possibly dead Python function: parse_sec", "shortDescription": {"text": "Possibly dead Python function: parse_sec"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-6ff6f6406a936c1d", "name": "Possibly dead Python function: printdh", "shortDescription": {"text": "Possibly dead Python function: printdh"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-6372cebde0220094", "name": "No auth library detected", "shortDescription": {"text": "No auth library detected"}, "fullDescription": {"text": "The scanner did not find any standard auth library (JWT, OAuth, NextAuth, Auth0, etc.). The repo has auth/admin/session surface indicators, so auth may live in custom code, in a separate service, or be missing."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-3ab5d313dda8e5f9", "name": "Debug logging residue appears in source files", "shortDescription": {"text": "Debug logging residue appears in source files"}, "fullDescription": {"text": "Found 62 console/debugger/print-style debug statements in non-test source. This is a common fast-generation residue before production cleanup."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-980c9c5364689c2b", "name": "Network/subprocess call without timeout or try/except \u2014 compiler/dafny/examples/dafny_compiler.py:37", "shortDescription": {"text": "Network/subprocess call without timeout or try/except \u2014 compiler/dafny/examples/dafny_compiler.py:37"}, "fullDescription": {"text": "`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-2196087e5a253ea0", "name": "Network/subprocess call without timeout or try/except \u2014 examples/deflate/translation/compilation/test.py:40", "shortDescription": {"text": "Network/subprocess call without timeout or try/except \u2014 examples/deflate/translation/compilation/test.py:40"}, "fullDescription": {"text": "`subprocess.Popen(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-2c04133e54348533", "name": "Near-duplicate function bodies in 2 places", "shortDescription": {"text": "Near-duplicate function bodies in 2 places"}, "fullDescription": {"text": "Functions with the same first-5-line body hash:\ncompiler/benchmarks/mlton_benchmarks/benchmark.py:timecmd, compiler/benchmarks/cakeml_benchmarks/benchmark.py:timecmd\n\nThis is *the* AI-coder failure mode (4\u00d7 more duplication in vibe-coded repos \u2014 see https://jw.hn/ai-code-hygiene). Consolidate or document why they're separate."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}]}}, "automationDetails": {"id": "repobility/24797"}, "properties": {"repository": "CakeML/cakeml", "repoUrl": "https://github.com/CakeML/cakeml", "branch": "main"}, "results": [{"ruleId": "scanner-4628dc9aa2246e4e", "level": "note", "message": {"text": "Possibly dead Python function: program_path"}, "properties": {"repobilityId": "ecd9ce56b9e54bc9", "scanner": "scanner-primary", "fingerprint": "4628dc9aa2246e4e", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "compiler/dafny/examples/dafny_compiler.py:190"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-e287c585551d510e", "level": "note", "message": {"text": "Possibly dead Python function: folder_path"}, "properties": {"repobilityId": "365e42c03c9f6386", "scanner": "scanner-primary", "fingerprint": "e287c585551d510e", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "compiler/dafny/examples/dafny_compiler.py:204"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-f2146488bac9dee5", "level": "note", "message": {"text": "Possibly dead Python function: parse_sec"}, "properties": {"repobilityId": "dd55bdeb4e0f8ad1", "scanner": "scanner-primary", "fingerprint": "f2146488bac9dee5", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "unverified/parse_sexp.py:6"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-6ff6f6406a936c1d", "level": "note", "message": {"text": "Possibly dead Python function: printdh"}, "properties": {"repobilityId": "68a45d07348152b5", "scanner": "scanner-primary", "fingerprint": "6ff6f6406a936c1d", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "unverified/parse_sexp.py:162"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-6372cebde0220094", "level": "warning", "message": {"text": "No auth library detected"}, "properties": {"repobilityId": "a5b6035a5bbf8054", "scanner": "scanner-primary", "fingerprint": "6372cebde0220094", "layer": "security", "severity": "medium", "confidence": 1.0, "tags": ["coverage", "auth"]}}, {"ruleId": "scanner-3ab5d313dda8e5f9", "level": "note", "message": {"text": "Debug logging residue appears in source files"}, "properties": {"repobilityId": "2cd067822beb4ab2", "scanner": "scanner-primary", "fingerprint": "3ab5d313dda8e5f9", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["debug", "cleanup", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-980c9c5364689c2b", "level": "warning", "message": {"text": "Network/subprocess call without timeout or try/except \u2014 compiler/dafny/examples/dafny_compiler.py:37"}, "properties": {"repobilityId": "e94fec6e0d3db1ec", "scanner": "scanner-primary", "fingerprint": "980c9c5364689c2b", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["integrity", "fragile-runtime", "robustness"]}}, {"ruleId": "scanner-2196087e5a253ea0", "level": "warning", "message": {"text": "Network/subprocess call without timeout or try/except \u2014 examples/deflate/translation/compilation/test.py:40"}, "properties": {"repobilityId": "df42b7e297b83ad4", "scanner": "scanner-primary", "fingerprint": "2196087e5a253ea0", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["integrity", "fragile-runtime", "robustness"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "8ca56ba7faa86212", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "e472e13966cd9c11", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "9e6751c8f179f115", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}]}]}