Skip to content

Actions: vbpf/ebpf-verifier

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
941 workflow runs
941 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix crash when relocation section is malformed CodeQL #2176: Pull request #800 synchronize by dthaler
November 22, 2024 19:22 6m 39s dthaler:reloc-fuzz-fix
dthaler:reloc-fuzz-fix
November 22, 2024 19:22 6m 39s
Fix crash when relocation section is malformed CodeQL #2175: Pull request #800 opened by dthaler
November 22, 2024 19:16 6m 18s dthaler:reloc-fuzz-fix
dthaler:reloc-fuzz-fix
November 22, 2024 19:16 6m 18s
Print simplified cfg CodeQL #2174: Pull request #799 synchronize by elazarg
November 22, 2024 14:17 8m 26s simplify-print
simplify-print
November 22, 2024 14:17 8m 26s
Print simplified cfg CodeQL #2173: Pull request #799 opened by elazarg
November 22, 2024 14:06 8m 7s simplify-print
simplify-print
November 22, 2024 14:06 8m 7s
do not chain equalities CodeQL #2172: Commit e4750ee pushed by elazarg
November 21, 2024 22:30 11m 15s main
main
November 21, 2024 22:30 11m 15s
Simplify invariant output CodeQL #2171: Pull request #798 synchronize by elazarg
November 20, 2024 21:19 8m 38s simpl-repr
simpl-repr
November 20, 2024 21:19 8m 38s
Simplify invariant output CodeQL #2170: Pull request #798 opened by elazarg
November 20, 2024 18:48 8m 16s simpl-repr
simpl-repr
November 20, 2024 18:48 8m 16s
CodeQL CodeQL #2169: Scheduled
November 19, 2024 13:06 9m 9s main
main
November 19, 2024 13:06 9m 9s
No transform when checking + check code reorg (second attempt) (#796) CodeQL #2168: Commit 04f0e92 pushed by elazarg
November 17, 2024 16:06 11m 49s main
main
November 17, 2024 16:06 11m 49s
No transform when checking + check code reorg (second attempt) CodeQL #2167: Pull request #796 synchronize by elazarg
November 17, 2024 15:20 7m 57s 2transform-2once
2transform-2once
November 17, 2024 15:20 7m 57s
No transform when checking + check code reorg (second attempt) CodeQL #2166: Pull request #796 synchronize by elazarg
November 17, 2024 15:06 7m 57s 2transform-2once
2transform-2once
November 17, 2024 15:06 7m 57s
No transform when checking + check code reorg (second attempt) CodeQL #2165: Pull request #796 synchronize by elazarg
November 17, 2024 14:38 7m 58s 2transform-2once
2transform-2once
November 17, 2024 14:38 7m 58s
No transform when checking + check code reorg (second attempt) CodeQL #2164: Pull request #796 opened by elazarg
November 17, 2024 14:04 7m 36s 2transform-2once
2transform-2once
November 17, 2024 14:04 7m 36s
Bump external/bpf_conformance from b544539 to 3357834 CodeQL #2163: Commit 8143eb2 pushed by elazarg
November 16, 2024 21:18 11m 6s main
main
November 16, 2024 21:18 11m 6s
Bump external/libbtf from 2de28d7 to 2f68368 CodeQL #2162: Commit 8465d12 pushed by elazarg
November 16, 2024 21:18 11m 15s main
main
November 16, 2024 21:18 11m 15s
Bump external/bpf_conformance from b544539 to 3357834 CodeQL #2161: Pull request #795 opened by dependabot bot
November 16, 2024 16:43 6m 1s dependabot/submodules/external/bpf_conformance-3357834
dependabot/submodules/external/bpf_conformance-3357834
November 16, 2024 16:43 6m 1s
Bump external/libbtf from 2de28d7 to 2f68368 CodeQL #2160: Pull request #794 opened by dependabot bot
November 16, 2024 16:43 6m 15s dependabot/submodules/external/libbtf-2f68368
dependabot/submodules/external/libbtf-2f68368
November 16, 2024 16:43 6m 15s
Do not transform when checking + check code reorg CodeQL #2159: Pull request #793 synchronize by elazarg
November 15, 2024 14:44 8m 19s transform-once
transform-once
November 15, 2024 14:44 8m 19s
Do not transform when checking + check code reorg CodeQL #2158: Pull request #793 opened by elazarg
November 15, 2024 14:33 8m 34s transform-once
transform-once
November 15, 2024 14:33 8m 34s
fail hard when a non-Assume instruction turns an invariant into bottom CodeQL #2157: Commit 37be029 pushed by elazarg
November 12, 2024 22:28 11m 29s main
main
November 12, 2024 22:28 11m 29s
Fail hard when a non-Assume instruction turns an invariant into bottom CodeQL #2156: Pull request #791 opened by elazarg
November 12, 2024 21:52 6m 43s err-on-nonassume-bottom
err-on-nonassume-bottom
November 12, 2024 21:52 6m 43s
CodeQL CodeQL #2155: Scheduled
November 12, 2024 13:03 9m 13s main
main
November 12, 2024 13:03 9m 13s
Add tests for issue 785 CodeQL #2154: Pull request #786 synchronize by Alan-Jowett
November 12, 2024 00:13 6m 16s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 12, 2024 00:13 6m 16s
Put stats collection under static variable (#790) CodeQL #2153: Commit 455555b pushed by elazarg
November 11, 2024 23:19 11m 36s main
main
November 11, 2024 23:19 11m 36s
Put stats collection under static variable CodeQL #2152: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 17:34 7m 36s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 17:34 7m 36s