Skip to content

Commit

Permalink
Bump external/ebpf-verifier from 41fbd5a to e4750ee
Browse files Browse the repository at this point in the history 
Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `41fbd5a` to `e4750ee`.
- [Release notes](https://github.com/vbpf/ebpf-verifier/releases)
- [Commits](vbpf/ebpf-verifier@41fbd5a...e4750ee)

---
updated-dependencies:
- dependency-name: external/ebpf-verifier
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot
dependabot[bot] authored Nov 23, 2024
1 parent cb3833e commit 5634780
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion external/ebpf-verifier
Submodule ebpf-verifier updated 72 files
+1 −1 external/bpf_conformance
+1 −1 external/libbtf
+123 −173 src/asm_cfg.cpp
+37 −37 src/asm_files.cpp
+5 −0 src/asm_files.hpp
+1 −2 src/asm_marshal.cpp
+112 −104 src/asm_ostream.cpp
+0 −58 src/asm_ostream.hpp
+6 −2 src/asm_parse.cpp
+29 −77 src/asm_syntax.hpp
+5 −5 src/asm_unmarshal.cpp
+15 −7 src/assertions.cpp
+21 −15 src/config.hpp
+3 −9 src/crab/array_domain.cpp
+0 −2 src/crab/array_domain.hpp
+211 −342 src/crab/cfg.hpp
+440 −0 src/crab/ebpf_checker.cpp
+98 −2,719 src/crab/ebpf_domain.cpp
+35 −139 src/crab/ebpf_domain.hpp
+2,442 −0 src/crab/ebpf_transformer.cpp
+28 −20 src/crab/fwd_analyzer.cpp
+6 −2 src/crab/fwd_analyzer.hpp
+2 −1 src/crab/interval.hpp
+94 −0 src/crab/label.hpp
+53 −38 src/crab/split_dbm.cpp
+1 −1 src/crab/split_dbm.hpp
+5 −4 src/crab/thresholds.cpp
+1 −1 src/crab/thresholds.hpp
+1 −1 src/crab/type_domain.cpp
+4 −2 src/crab/var_factory.cpp
+1 −0 src/crab/variable.hpp
+8 −7 src/crab_utils/debug.hpp
+0 −5 src/crab_utils/stats.cpp
+23 −4 src/crab_utils/stats.hpp
+129 −196 src/crab_verifier.cpp
+36 −9 src/crab_verifier.hpp
+1 −1 src/linux/gpl/spec_prototypes.cpp
+20 −18 src/linux/linux_platform.cpp
+2 −0 src/linux/linux_platform.hpp
+48 −24 src/main/check.cpp
+18 −16 src/main/linux_verifier.cpp
+1 −1 src/main/run_yaml.cpp
+0 −16 src/main/utils.hpp
+13 −11 src/spec_type_descriptors.hpp
+48 −61 src/test/ebpf_yaml.cpp
+1 −1 src/test/ebpf_yaml.hpp
+1 −1 src/test/test_conformance.cpp
+0 −1 src/test/test_marshal.cpp
+0 −1 src/test/test_print.cpp
+70 −53 src/test/test_verify.cpp
+30 −30 src/test/test_wto.cpp
+1 −1 src/test/test_yaml.cpp
+6 −24 test-data/add.yaml
+35 −46 test-data/assign.yaml
+86 −86 test-data/atomic.yaml
+7 −14 test-data/call.yaml
+7 −14 test-data/callx.yaml
+11 −20 test-data/full64.yaml
+61 −136 test-data/jump.yaml
+62 −106 test-data/loop.yaml
+34 −53 test-data/movsx.yaml
+43 −16 test-data/packet.yaml
+41 −60 test-data/pointer.yaml
+11 −20 test-data/sdivmod.yaml
+7 −10 test-data/sext.yaml
+70 −309 test-data/shift.yaml
+11 −13 test-data/stack.yaml
+2 −4 test-data/subtract.yaml
+12 −22 test-data/udivmod.yaml
+38 −41 test-data/uninit.yaml
+6 −6 test-data/unop.yaml
+196 −224 test-data/unsigned.yaml

0 comments on commit 5634780

Please sign in to comment.