Skip to content

Actions: vbpf/ebpf-verifier

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Put stats collection under static variable CodeQL #2151: Pull request #790 synchronize by Alan-Jowett
November 11, 2024 16:32 7m 59s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:32 7m 59s
Put stats collection under static variable CodeQL #2150: Pull request #790 opened by Alan-Jowett
November 11, 2024 16:16 7m 59s Alan-Jowett:disable_dead_code
Alan-Jowett:disable_dead_code
November 11, 2024 16:16 7m 59s
Use GuardedInstruction for cfg_t node, instead of basic_block (#789) CodeQL #2149: Commit c34b769 pushed by elazarg
November 10, 2024 21:15 11m 47s main
main
November 10, 2024 21:15 11m 47s
Use GuardedInstruction for cfg_t node, instead of basic_block CodeQL #2148: Pull request #789 synchronize by elazarg
November 10, 2024 20:29 8m 56s node-instruction
node-instruction
November 10, 2024 20:29 8m 56s
Use GuardedInstruction for cfg_t node, instead of basic_block CodeQL #2147: Pull request #789 synchronize by elazarg
November 10, 2024 19:24 8m 4s node-instruction
node-instruction
November 10, 2024 19:24 8m 4s
Use GuardedInstruction for cfg_t node, instead of basic_block CodeQL #2146: Pull request #789 opened by elazarg
November 10, 2024 19:19 4m 19s node-instruction
node-instruction
November 10, 2024 19:19 4m 19s
move checker and transformer to different cpp files CodeQL #2145: Commit 6b54213 pushed by elazarg
November 10, 2024 10:25 11m 21s main
main
November 10, 2024 10:25 11m 21s
Move checker and transformer to different cpp files CodeQL #2144: Pull request #788 opened by elazarg
November 10, 2024 03:07 6m 35s refactor-transformer-checker
refactor-transformer-checker
November 10, 2024 03:07 6m 35s
Split ebpf_domain_t into domain, transformer, checker (#787) CodeQL #2143: Commit b825d2d pushed by elazarg
November 9, 2024 23:54 11m 12s main
main
November 9, 2024 23:54 11m 12s
Split ebpf_domain_t into domain, transformer, checker CodeQL #2142: Pull request #787 synchronize by elazarg
November 9, 2024 23:09 7m 1s split-transformers
split-transformers
November 9, 2024 23:09 7m 1s
Implement ebpf_check_constraints_at_label CodeQL #2141: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:23 8m 0s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:23 8m 0s
Split ebpf_domain_t into domain, transformer, checker CodeQL #2140: Pull request #787 opened by elazarg
November 9, 2024 22:18 6m 21s split-transformers
split-transformers
November 9, 2024 22:18 6m 21s
Implement ebpf_check_constraints_at_label CodeQL #2139: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:18 8m 15s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:18 8m 15s
Implement ebpf_check_constraints_at_label CodeQL #2138: Pull request #729 synchronize by Alan-Jowett
November 9, 2024 22:18 8m 14s Alan-Jowett:issue728
Alan-Jowett:issue728
November 9, 2024 22:18 8m 14s
Fix bpf2bpf local function calls with stack usage (#784) CodeQL #2137: Commit 41fbd5a pushed by elazarg
November 9, 2024 20:41 11m 27s main
main
November 9, 2024 20:41 11m 27s
Fix bpf2bpf local function calls with stack usage CodeQL #2136: Pull request #784 synchronize by dthaler
November 9, 2024 20:02 8m 17s dthaler:bpf2bpf-stack
dthaler:bpf2bpf-stack
November 9, 2024 20:02 8m 17s
Add tests for issue 785 CodeQL #2135: Pull request #786 opened by Alan-Jowett
November 9, 2024 19:46 6m 13s Alan-Jowett:issue785_repro
Alan-Jowett:issue785_repro
November 9, 2024 19:46 6m 13s
Fix bpf2bpf local function calls with stack usage CodeQL #2134: Pull request #784 synchronize by dthaler
November 9, 2024 19:46 7m 56s dthaler:bpf2bpf-stack
dthaler:bpf2bpf-stack
November 9, 2024 19:46 7m 56s