CodeQL Security Analysis

codeql.yml

907 workflow runs

Standardize workspace: Justfile migration and A2ML directive cleanup
failed:
CodeQL Security Analysis#183:Commitda3a4a2pushedbyhyperpolymath
main
Apr 18, 20262m 19s
feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression
failed:
CodeQL Security Analysis#182:Commitd381541pushedbyhyperpolymath
main
Apr 18, 20266s
docs: record user-classification registry + Rocq scaffold classifier
failed:
CodeQL Security Analysis#181:Commitd024a9epushedbyhyperpolymath
main
Apr 18, 20266s
feat(assail): user-classification registry flips audited findings to …
failed:
CodeQL Security Analysis#180:Commit315917bpushedbyhyperpolymath
main
Apr 18, 20266s
feat(assail/rocq): classify scaffold parameters as non-postulates
failed:
CodeQL Security Analysis#179:Commit6d6822apushedbyhyperpolymath
main
Apr 18, 202612s
fix(analyzer): clear 4 -Wunused-variable warnings + latent bug
failed:
CodeQL Security Analysis#178:Commit9288e17pushedbyhyperpolymath
main
Apr 17, 20269s
fix(assail): TODO-in-string-literal FP closed (Task #23)
failed:
CodeQL Security Analysis#177:Commitb8d177dpushedbyhyperpolymath
main
Apr 17, 20266s
test(corpus): 12-case UnboundedAllocation regression corpus (Task #25)
failed:
CodeQL Security Analysis#176:Commit8b12fecpushedbyhyperpolymath
main
Apr 17, 20267s
bench(assail): per-file UnboundedAllocation detector (Task #25)
failed:
CodeQL Security Analysis#175:Commit9126b98pushedbyhyperpolymath
main
Apr 17, 20267s
feat(assail): word-boundary detector for UnboundedAllocation (Task #25)
failed:
CodeQL Security Analysis#174:Commite199ef3pushedbyhyperpolymath
main
Apr 17, 202614s
fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2)
failed:
CodeQL Security Analysis#173:Commit804a25dpushedbyhyperpolymath
main
Apr 17, 20261m 34s
fix(bounds): .take(LIMIT) on external-input reads (batch 1/N)
failed:
CodeQL Security Analysis#172:Commit6941ef7pushedbyhyperpolymath
main
Apr 17, 20267s
fix(assail): close CryptoMisuse self-reference FP (use code_only not …
failed:
CodeQL Security Analysis#171:Commit4c1c128pushedbyhyperpolymath
main
Apr 17, 20268s
refactor: VQL -> VCL rename to match estate-wide convention
failed:
CodeQL Security Analysis#170:Commit24b91b4pushedbyhyperpolymath
main
Apr 17, 202624s
fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)
failed:
CodeQL Security Analysis#169:Commit0abfd40pushedbyhyperpolymath
main
Apr 17, 20266s
fix(bench): repair scan_bench for drifted types (stale since ~v2.5.0)
failed:
CodeQL Security Analysis#168:Commita63544bpushedbyhyperpolymath
main
Apr 17, 202614s
feat(chapel): implement --scheduler=queue (resumable work-pull)
failed:
CodeQL Security Analysis#167:Commit6ffc1d7pushedbyhyperpolymath
main
Apr 17, 202613m 25s
ci: wire hypatia-scan.yml to query own Dependabot alerts
failed:
CodeQL Security Analysis#166:Commit44bf52epushedbyhyperpolymath
main
Apr 17, 20261h 46m 58s
feat(chapel): --scheduler flag with dual-direction startup banner
failed:
CodeQL Security Analysis#165:Commitd49a209pushedbyhyperpolymath
main
Apr 17, 20261h 46m 7s
feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re…
failed:
CodeQL Security Analysis#164:Commit30132b6pushedbyhyperpolymath
main
Apr 17, 20262h 0m 17s
chore: estate-wide chore + stale-path sweep (2026-04-17)
failed:
CodeQL Security Analysis#163:Commit91eb25bpushedbyhyperpolymath
main
Apr 17, 20261h 48m 9s
feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan
failed:
CodeQL Security Analysis#162:Commit9eda513pushedbyhyperpolymath
main
Apr 17, 20261h 36m 1s
fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007)
failed:
CodeQL Security Analysis#161:Commit317a0e9pushedbyhyperpolymath
main
Apr 17, 202612s
feat(assail): JIT-aware classification for mem::transmute (Rust)
failed:
CodeQL Security Analysis#160:Commit72e96a7pushedbyhyperpolymath
main
Apr 17, 20265m 16s
test(analyze_rust): add missing browser_extension field to test fixture
failed:
CodeQL Security Analysis#159:Commit017fc69pushedbyhyperpolymath
main
Apr 17, 202619m 43s

Navigation Menu

CodeQL Security Analysis

907 workflow runs

Standardize workspace: Justfile migration and A2ML directive cleanup

feat(assail): structural FFI safe-wrapper detector + Rule 13 suppression

docs: record user-classification registry + Rocq scaffold classifier

feat(assail): user-classification registry flips audited findings to …

feat(assail/rocq): classify scaffold parameters as non-postulates

fix(analyzer): clear 4 -Wunused-variable warnings + latent bug

fix(assail): TODO-in-string-literal FP closed (Task #23)

test(corpus): 12-case UnboundedAllocation regression corpus (Task #25)

bench(assail): per-file UnboundedAllocation detector (Task #25)

feat(assail): word-boundary detector for UnboundedAllocation (Task #25)

fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2)

fix(bounds): .take(LIMIT) on external-input reads (batch 1/N)

fix(assail): close CryptoMisuse self-reference FP (use code_only not …

refactor: VQL -> VCL rename to match estate-wide convention

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)

fix(bench): repair scan_bench for drifted types (stale since ~v2.5.0)

feat(chapel): implement --scheduler=queue (resumable work-pull)

ci: wire hypatia-scan.yml to query own Dependabot alerts

feat(chapel): --scheduler flag with dual-direction startup banner

feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re…

chore: estate-wide chore + stale-path sweep (2026-04-17)

feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan

fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007)

feat(assail): JIT-aware classification for mem::transmute (Rust)

test(analyze_rust): add missing browser_extension field to test fixture

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

907 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.