vbpf / ebpf-verifier / 14147426616

Builds Branch Commit Type Ran Committer Via Coverage
14147426616 dependabot/submodules/external/libbtf-ed0cbde Merge dc11e3d01 into 7b5d5e68c Pull #853 web-flow github
88.18
14054286306 main Prevent out of memory when parsing malformed sub-programs Signed-off-by: Alan Jowett <alanjo@microsoft.com> push elazarg github
88.18
14048391244 issue851 Merge a1abc260d into 9305b23f4 Pull #852 web-flow github
88.18
13958988310 gsl-narrow-heap Merge 6f754b172 into 9305b23f4 Pull #713 web-flow github
88.2
13958948275 main Finite domain (#849) * Move arithmetic and bit operations functions to finite_domain.cpp * Remove operator-= (now havoc) and operator+= (now add_constraint) * Abort early when registers are not usable; clear type variable instead of explicitly as... push web-flow github
88.19
13958095442 prepare-finite-domain Merge c4e08aeb2 into ef03f28f6 Pull #849 web-flow github
88.19
13955482065 prepare-finite-domain Merge 89b36fe59 into ef03f28f6 Pull #849 web-flow github
88.27
13955273819 main Fix sign extension (#850) * fix sign extension * add exhaustive tests for sign extension of <=3 bits * fix interval::size() * streamline bit/width operations --------- Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push web-flow github
88.66
13954194989 fix-sign-extension Merge 5ef22d911 into a50e20001 Pull #850 web-flow github
88.66
13952739811 fix-sign-extension Merge 398d153b8 into a50e20001 Pull #850 web-flow github
88.25
13888463837 prepare-finite-domain Merge 2b3375482 into a50e20001 Pull #849 web-flow github
88.14
13887316915 prepare-finite-domain Merge b01477a17 into a50e20001 Pull #849 web-flow github
88.17
13886102917 prepare-finite-domain Merge e12cd81c3 into a50e20001 Pull #849 web-flow github
88.18
13884484247 main refactor asm_files.cpp Signed-off-by: Elazar Gershuni <elazarg@gmail.com> push elazarg github
88.13
13874854589 main Bump external/bpf_conformance from `bb9f745` to `6247cdd` Bumps [external/bpf_conformance](https://github.com/Alan-Jowett/bpf_conformance) from `bb9f745` to `6247cdd`. - [Release notes](https://github.com/Alan-Jowett/bpf_conformance/releases) - [... push elazarg github
88.18