Skip to content

Commit

Permalink
Bump external/ebpf-verifier from 525b8b3 to 4907f1b (microsoft#3876)
Browse files Browse the repository at this point in the history 
Bumps [external/ebpf-verifier](https://github.com/vbpf/ebpf-verifier) from `525b8b3` to `4907f1b`.
- [Release notes](https://github.com/vbpf/ebpf-verifier/releases)
- [Commits](vbpf/ebpf-verifier@525b8b3...4907f1b)

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

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
  • Loading branch information
@dependabot
dependabot[bot] authored Sep 26, 2024
1 parent 45df161 commit 292578e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion external/ebpf-verifier
Submodule ebpf-verifier updated 22 files
+1 −1 CMakeLists.txt
+1 −1 external/bpf_conformance
+1 −1 external/libbtf
+2 −1 scripts/.check-license.ignore
+1 −1 src/asm_ostream.cpp
+6 −6 src/crab/array_domain.cpp
+1 −1 src/crab/cfg.hpp
+0 −203 src/crab/cfg_bgl.hpp
+121 −133 src/crab/ebpf_domain.cpp
+229 −254 src/crab/interval.cpp
+131 −309 src/crab/interval.hpp
+62 −66 src/crab/split_dbm.cpp
+5 −33 src/crab/split_dbm.hpp
+1 −1 src/crab/var_factory.cpp
+1 −5 src/crab/variable.hpp
+16 −2 src/crab_utils/adapt_sgraph.hpp
+0 −359 src/crab_utils/bignums.hpp
+262 −0 src/crab_utils/num_big.hpp
+227 −0 src/crab_utils/num_extended.hpp
+2 −2 src/crab_utils/num_safeint.hpp
+2 −2 src/crab_verifier.cpp
+2 −2 src/test/conformance_check.cpp

0 comments on commit 292578e

Please sign in to comment.