Skip to content

Commit

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

---
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 Oct 19, 2024
1 parent 55b387d commit 9357205
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion external/ebpf-verifier
Submodule ebpf-verifier updated 64 files
+15 −2 .github/workflows/build.yml
+1 −1 .gitmodules
+97 −67 CMakeLists.txt
+1 −1 ebpf-samples
+1 −1 external/bpf_conformance
+1 −1 external/libbtf
+1 −1 external/radix_tree
+51 −48 src/asm_cfg.cpp
+9 −9 src/asm_files.cpp
+4 −3 src/asm_files.hpp
+62 −73 src/asm_marshal.cpp
+25 −50 src/asm_ostream.cpp
+29 −24 src/asm_ostream.hpp
+36 −88 src/asm_parse.cpp
+0 −2 src/asm_parse.hpp
+7 −22 src/asm_syntax.hpp
+101 −102 src/asm_unmarshal.cpp
+52 −54 src/assertions.cpp
+45 −44 src/crab/array_domain.cpp
+7 −9 src/crab/cfg.hpp
+10 −0 src/crab/dsl_syntax.hpp
+79 −326 src/crab/ebpf_domain.cpp
+2 −52 src/crab/ebpf_domain.hpp
+17 −17 src/crab/fwd_analyzer.cpp
+126 −120 src/crab/interval.cpp
+41 −46 src/crab/interval.hpp
+10 −8 src/crab/linear_constraint.hpp
+97 −68 src/crab/split_dbm.cpp
+2 −2 src/crab/thresholds.cpp
+1 −1 src/crab/thresholds.hpp
+376 −0 src/crab/type_domain.cpp
+79 −0 src/crab/type_domain.hpp
+70 −0 src/crab/type_encoding.hpp
+13 −27 src/crab/var_factory.cpp
+11 −31 src/crab/variable.hpp
+192 −44 src/crab/wto.cpp
+68 −206 src/crab/wto.hpp
+0 −81 src/crab/wto_cycle.hpp
+0 −43 src/crab/wto_nesting.hpp
+95 −178 src/crab_utils/graph_ops.hpp
+28 −40 src/crab_utils/heap.hpp
+9 −26 src/crab_utils/lazy_allocator.hpp
+11 −9 src/crab_utils/num_big.hpp
+13 −0 src/crab_utils/num_extended.hpp
+28 −29 src/crab_utils/num_safeint.hpp
+25 −0 src/crab_utils/num_safety.hpp
+2 −1 src/crab_utils/stats.cpp
+2 −2 src/crab_utils/stats.hpp
+40 −21 src/crab_verifier.cpp
+2 −2 src/crab_verifier.hpp
+8 −2 src/ebpf_vm_isa.hpp
+15 −16 src/ebpf_yaml.cpp
+2 −2 src/main/check.cpp
+2 −18 src/string_constraints.hpp
+16 −0 src/test/test_conformance.cpp
+53 −52 src/test/test_marshal.cpp
+3 −3 src/test/test_print.cpp
+43 −48 src/test/test_verify.cpp
+1 −0 src/test/test_yaml.cpp
+55 −0 test-data/calllocal.yaml
+1 −1 test-data/jump.yaml
+60 −0 test-data/muldiv.yaml
+20 −0 test-data/sdivmod.yaml
+20 −0 test-data/udivmod.yaml

0 comments on commit 9357205

Please sign in to comment.