Switch to fuzzing branch (#582)

* Switch to fuzzing branch Signed-off-by: Alan Jowett <[email protected]> * Updating fuzzing branch Signed-off-by: Alan Jowett <[email protected]> * Pickup latest verifier Signed-off-by: Alan Jowett <[email protected]> * Pickup latest ebpf-verifier Signed-off-by: Alan Jowett <[email protected]> --------- Signed-off-by: Alan Jowett <[email protected]> Co-authored-by: Alan Jowett <[email protected]>
iovisor · Oct 23, 2024 · a942ae1 · a942ae1
1 parent 36e862f
commit a942ae1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -6,4 +6,4 @@
 	url = https://github.com/Alan-Jowett/bpf_conformance.git
 [submodule "external/ebpf-verifier"]
 	path = external/ebpf-verifier
-	url = https://github.com/vbpf/ebpf-verifier.git
+	url = https://github.com/alan-jowett/ebpf-verifier.git
diff --git a/external/ebpf-verifier b/external/ebpf-verifier
+14 −0		src/asm_parse.hpp
+23 −0		src/asm_syntax.hpp
+1 −0		src/config.cpp
+2 −0		src/config.hpp
+6 −0		src/crab/ebpf_domain.cpp
+2 −0		src/crab_utils/adapt_sgraph.hpp
+87 −4		src/crab_verifier.cpp
+25 −0		src/crab_verifier.hpp
+34 −1		src/test/ebpf_yaml.cpp
+1 −0		src/test/ebpf_yaml.hpp
+1 −0		src/test/test_yaml.cpp
+84 −0		test-data/add.yaml
+130 −1		test-data/loop.yaml
+357 −0		test-data/pointer.yaml