Skip to content

Commit

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

---
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 9, 2024
1 parent d43fcd2 commit add76c5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion external/ebpf-verifier
Submodule ebpf-verifier updated 70 files
+43 −26 README.md
+0 −0 external/CLI11/CLI11.hpp
+1 −1 scripts/.check-license.ignore
+304 −0 scripts/format-code
+337 −0 scripts/format-code.ps1
+4 −0 scripts/pre-commit
+34 −28 src/asm_cfg.cpp
+12 −14 src/asm_files.cpp
+2 −2 src/asm_files.hpp
+2 −4 src/asm_marshal.cpp
+104 −87 src/asm_ostream.cpp
+4 −18 src/asm_ostream.hpp
+1 −1 src/asm_parse.cpp
+37 −16 src/asm_syntax.hpp
+1 −1 src/asm_unmarshal.cpp
+1 −1 src/asm_unmarshal.hpp
+69 −66 src/assertions.cpp
+0 −17 src/config.cpp
+28 −13 src/config.hpp
+1 −2 src/crab/add_bottom.hpp
+4 −4 src/crab/array_domain.cpp
+10 −10 src/crab/bitset_domain.cpp
+7 −7 src/crab/bitset_domain.hpp
+57 −47 src/crab/cfg.hpp
+90 −44 src/crab/ebpf_domain.cpp
+21 −17 src/crab/ebpf_domain.hpp
+23 −26 src/crab/fwd_analyzer.cpp
+1 −1 src/crab/fwd_analyzer.hpp
+30 −30 src/crab/split_dbm.cpp
+1 −1 src/crab/split_dbm.hpp
+11 −13 src/crab/thresholds.cpp
+3 −3 src/crab/thresholds.hpp
+9 −25 src/crab/type_domain.cpp
+3 −9 src/crab/type_domain.hpp
+1 −1 src/crab/wto.cpp
+15 −0 src/crab/wto.hpp
+4 −4 src/crab_utils/adapt_sgraph.hpp
+1 −1 src/crab_utils/debug.cpp
+1 −1 src/crab_utils/debug.hpp
+21 −21 src/crab_utils/graph_ops.hpp
+16 −17 src/crab_utils/stats.cpp
+1 −1 src/crab_utils/stats.hpp
+25 −30 src/crab_verifier.cpp
+3 −3 src/crab_verifier.hpp
+11 −0 src/ebpf_base.h
+2 −2 src/linux/gpl/spec_prototypes.cpp
+12 −11 src/linux/linux_platform.cpp
+15 −15 src/main/check.cpp
+1 −1 src/main/linux_verifier.cpp
+1 −1 src/main/run_yaml.cpp
+5 −3 src/main/utils.hpp
+9 −4 src/spec_type_descriptors.hpp
+4 −4 src/test/conformance_check.cpp
+37 −31 src/test/ebpf_yaml.cpp
+3 −3 src/test/ebpf_yaml.hpp
+5 −5 src/test/test_conformance.cpp
+14 −13 src/test/test_marshal.cpp
+1 −2 src/test/test_print.cpp
+79 −79 src/test/test_verify.cpp
+3 −3 src/test/test_wto.cpp
+18 −0 test-data/assign.yaml
+40 −0 test-data/atomic.yaml
+15 −3 test-data/call.yaml
+35 −0 test-data/calllocal.yaml
+10 −1 test-data/callx.yaml
+3 −0 test-data/jump.yaml
+198 −1 test-data/loop.yaml
+68 −0 test-data/pointer.yaml
+23 −0 test-data/stack.yaml
+12 −6 test-data/subtract.yaml

0 comments on commit add76c5

Please sign in to comment.