Update verifier to latest

* Update verifier, which includes the fix to make bpf2bpf calls work with multiple stack levels * Update ebpf-for-windows to deal with minor API breaking changes in the verifier * Remove redundant crab_verifier_wrapper.hpp and just use ebpf_verifier_wrapper.hpp * Update bindmonitor_bpf2bpf.c sample to test with multiple stack levels * Add bindmonitor_bpf2bpf.c as a bpf2c test case Signed-off-by: Dave Thaler <[email protected]>
microsoft · Nov 25, 2024 · f7a48b6 · f7a48b6
1 parent ae04b0b
commit f7a48b6
Show file tree

Hide file tree

Showing 11 changed files with 361 additions and 274 deletions.
diff --git a/external/ebpf-verifier b/external/ebpf-verifier
diff --git a/libs/api/crab_verifier_wrapper.hpp b/libs/api/crab_verifier_wrapper.hpp
diff --git a/libs/api/windows_platform.cpp b/libs/api/windows_platform.cpp
@@ -3,8 +3,8 @@
 
 #include "api_common.hpp"
 #include "api_internal.h"
-#include "crab_verifier_wrapper.hpp"
 #include "ebpf_api.h"
+#include "ebpf_verifier_wrapper.hpp"
 #include "helpers.hpp"
 #include "map_descriptors.hpp"
 #include "platform.hpp"

diff --git a/libs/api_common/api_common.cpp b/libs/api_common/api_common.cpp
@@ -175,13 +175,13 @@ ebpf_verify_program(
         const cfg_t cfg = prepare_cfg(prog, info, options.cfg_opts);
         auto invariants = analyze(cfg);
         if (options.verbosity_opts.print_invariants) {
-            invariants.print_invariants(os, cfg);
+            print_invariants(os, cfg, options.verbosity_opts.simplify, invariants);
         }
         bool pass;
         if (options.verbosity_opts.print_failures) {
             auto report = invariants.check_assertions(cfg);
             thread_local_options.verbosity_opts.print_line_info = true;
-            report.print_warnings(os);
+            print_warnings(os, report);
             pass = report.verified();
             stats->total_warnings = (int)report.warning_set().size();
             stats->total_unreachable = (int)report.reachability_set().size();
@@ -194,4 +194,4 @@ ebpf_verify_program(
         os << "error: " << e.what() << std::endl;
         return false;
     }
-}
+}
diff --git a/libs/api_common/ebpf_verifier_wrapper.hpp b/libs/api_common/ebpf_verifier_wrapper.hpp
@@ -6,10 +6,11 @@
 #pragma warning(disable : 4244)  // 'conversion' conversion from 'type1' to
                                  // 'type2', possible loss of data
 #pragma warning(disable : 4267)  // conversion from 'size_t' to 'int', possible loss of data
-#pragma warning(disable : 26451) // Arithmetic overflow
-#pragma warning(disable : 26450) // Arithmetic overflow
+#pragma warning(disable : 4458)  // declaration of 'warnings' hides class member
 #pragma warning(disable : 26439) // This kind of function may not
                                  // throw. Declare it 'noexcept'
+#pragma warning(disable : 26450) // Arithmetic overflow
+#pragma warning(disable : 26451) // Arithmetic overflow
 #pragma warning(disable : 26495) // Always initialize a member variable
 #undef FALSE
 #undef TRUE

diff --git a/libs/api_common/windows_program_type.h b/libs/api_common/windows_program_type.h
@@ -3,9 +3,9 @@
 
 #pragma once
 
-#include "crab_verifier_wrapper.hpp"
 #include "ebpf_nethooks.h"
 #include "ebpf_program_types.h"
+#include "ebpf_verifier_wrapper.hpp"
 
 #define PTYPE(name, descr, native_type, prefixes) \
     {                                             \

diff --git a/tests/bpf2c_tests/elf_bpf.cpp b/tests/bpf2c_tests/elf_bpf.cpp
@@ -198,6 +198,7 @@ run_test_elf(const std::string& elf_file, _test_mode test_mode, const std::optio
 DECLARE_TEST("atomic_instruction_fetch_add", _test_mode::Verify)
 DECLARE_TEST("bad_map_name", _test_mode::Verify)
 DECLARE_TEST("bindmonitor", _test_mode::Verify)
+DECLARE_TEST("bindmonitor_bpf2bpf", _test_mode::Verify)
 DECLARE_TEST("bindmonitor_ringbuf", _test_mode::Verify)
 DECLARE_TEST("bindmonitor_tailcall", _test_mode::Verify)
 DECLARE_TEST("bindmonitor_mt_tailcall", _test_mode::Verify)
+1 −1		ebpf-samples
+1 −1		external/bpf_conformance
+1 −1		external/libbtf
+51 −0		src/asm_cfg.cpp
+68 −39		src/asm_files.cpp
+95 −14		src/asm_ostream.cpp
+31 −91		src/crab/cfg.hpp
+1 −1		src/crab/type_encoding.hpp
+0 −84		src/crab_verifier.cpp
+35 −8		src/crab_verifier.hpp
+7 −9		src/main/check.cpp
+4 −0		src/spec_type_descriptors.hpp
+3 −2		src/test/test_verify.cpp