Skip to content

Actions: vbpf/ebpf-verifier

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
941 workflow runs
941 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce coupling between control flow graph and instructions
CodeQL #2201: Pull request #808 opened by elazarg
December 1, 2024 21:56 4m 25s simple-cfg-mixed
December 1, 2024 21:56 4m 25s
make wto const friendly
CodeQL #2200: Commit 0a7a507 pushed by elazarg
November 27, 2024 05:54 11m 14s main
November 27, 2024 05:54 11m 14s
Cleanup wto parts in fwd_analyzer
CodeQL #2199: Pull request #807 opened by elazarg
November 26, 2024 22:16 7m 44s const-wto
November 26, 2024 22:16 7m 44s
CodeQL
CodeQL #2198: Scheduled
November 26, 2024 13:13 9m 9s main
November 26, 2024 13:13 9m 9s
Fixes for multiple bpf2bpf stack levels (#801)
CodeQL #2197: Commit 5195871 pushed by elazarg
November 24, 2024 17:13 11m 14s main
November 24, 2024 17:13 11m 14s
use T_UNINIT as lower bound for types
CodeQL #2196: Commit bb88996 pushed by elazarg
November 24, 2024 16:36 11m 19s main
November 24, 2024 16:36 11m 19s
Fixes for multiple bpf2bpf stack levels
CodeQL #2195: Pull request #801 synchronize by dthaler
November 24, 2024 16:29 8m 24s dthaler:bpf2bpf-multistack
November 24, 2024 16:29 8m 24s
Use T_UNINIT as lower bound for types
CodeQL #2194: Pull request #806 opened by elazarg
November 24, 2024 15:26 7m 50s min-T_UNINIT
November 24, 2024 15:26 7m 50s
Uniform printing of simplified vs non-simplified (#805)
CodeQL #2193: Commit e09c6a7 pushed by elazarg
November 24, 2024 14:42 12m 8s main
November 24, 2024 14:42 12m 8s
Bump external/bpf_conformance from 3357834 to 011874f
CodeQL #2192: Commit 3d61f28 pushed by elazarg
November 24, 2024 14:04 11m 50s main
November 24, 2024 14:04 11m 50s
Uniform printing of simplified vs non-simplified
CodeQL #2191: Pull request #805 synchronize by elazarg
November 24, 2024 14:00 7m 43s simplify-print
November 24, 2024 14:00 7m 43s
Bump external/libbtf from 2f68368 to 81e0a6f
CodeQL #2190: Commit 8a115b1 pushed by elazarg
November 24, 2024 11:39 11m 22s main
November 24, 2024 11:39 11m 22s
Uniform printing of simplified vs non-simplified
CodeQL #2189: Pull request #805 opened by elazarg
November 24, 2024 11:39 8m 37s simplify-print
November 24, 2024 11:39 8m 37s
Fixes for multiple bpf2bpf stack levels
CodeQL #2188: Pull request #801 synchronize by dthaler
November 23, 2024 23:17 8m 47s dthaler:bpf2bpf-multistack
November 23, 2024 23:17 8m 47s
Fixes for multiple bpf2bpf stack levels
CodeQL #2187: Pull request #801 synchronize by dthaler
November 23, 2024 22:31 7m 59s dthaler:bpf2bpf-multistack
November 23, 2024 22:31 7m 59s
Fixes for multiple bpf2bpf stack levels
CodeQL #2186: Pull request #801 synchronize by dthaler
November 23, 2024 17:07 7m 47s dthaler:bpf2bpf-multistack
November 23, 2024 17:07 7m 47s
Fixes for multiple bpf2bpf stack levels
CodeQL #2185: Pull request #801 synchronize by dthaler
November 23, 2024 16:57 10m 10s dthaler:bpf2bpf-multistack
November 23, 2024 16:57 10m 10s
Fix crash when relocation section is malformed
CodeQL #2181: Commit 22625ba pushed by elazarg
November 23, 2024 16:33 11m 29s main
November 23, 2024 16:33 11m 29s
Print simplified cfg (#799)
CodeQL #2180: Commit 4fae457 pushed by elazarg
November 23, 2024 16:32 11m 22s main
November 23, 2024 16:32 11m 22s
Fixes for multiple bpf2bpf stack levels
CodeQL #2179: Pull request #801 opened by dthaler
November 23, 2024 05:28 7m 52s dthaler:bpf2bpf-multistack
November 23, 2024 05:28 7m 52s
Fix crash when relocation section is malformed
CodeQL #2178: Pull request #800 synchronize by dthaler
November 22, 2024 19:54 7m 6s dthaler:reloc-fuzz-fix
November 22, 2024 19:54 7m 6s
Fix crash when relocation section is malformed
CodeQL #2177: Pull request #800 synchronize by dthaler
November 22, 2024 19:35 6m 9s dthaler:reloc-fuzz-fix
November 22, 2024 19:35 6m 9s