vbpf / ebpf-verifier / 11858279292

Builds Branch Commit Type Ran Committer Via Coverage
11858279292 transform-once Merge 5044c77e9 into 37be0297d Pull #793 web-flow github
90.83
11858112819 transform-once Merge 71c3f8d15 into 37be0297d Pull #793 web-flow github
90.83
11806824801 main fail hard when a non-Assume instruction turns an invariant into bottom makes #679 visible. Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
90.64
11806351220 err-on-nonassume-bottom Merge 2c0826ea9 into 455555ba0 Pull #791 web-flow github
90.63
11787692427 main Put stats collection under static variable (#790) Disable by default unused code Signed-off-by: Alan Jowett <alan.jowett@microsoft.com> push web-flow github
90.45
11783410045 disable_dead_code Merge 40dd82946 into c34b76997 Pull #790 web-flow github
90.46
11782481927 disable_dead_code Merge 38e3c902e into c34b76997 Pull #790 web-flow github
90.45
11782231429 disable_dead_code Merge 1552c9353 into c34b76997 Pull #790 web-flow github
90.66
11768558728 main Use GuardedInstruction for cfg_t node, instead of basic_block (#789) cfg node is GuardedInstruction, not basic_block_t. basic_block is destined to be a view of the CFG, not an essential part of it. The new node is called value_t since node_t i... push web-flow github
90.62
11768266490 node-instruction Merge 56ba4ea3a into 6b54213e6 Pull #789 web-flow github
90.61
11767874818 node-instruction Merge 5d695d859 into 6b54213e6 Pull #789 web-flow github
90.61
11764346497 main move checker and transformer to different cpp files Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
90.58
11761681632 refactor-transformer-checker Merge e8dc8754b into b825d2df6 Pull #788 web-flow github
90.59
11760397764 main Split ebpf_domain_t into domain, transformer, checker (#787) Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
90.56
11760153710 split-transformers Merge 13b216ccd into 41fbd5a37 Pull #787 web-flow github
90.56