selftests/bpf: Check that JMP32 pointer vs zero jumps are not predictedgrafted

Add jmp32_ptr_vs_zero_jne: the fall-through of the 32-bit compare, which
the verifier used to skip, contains an out of bounds map value access,
hence w/o the previous patch the program is accepted. See previous patch
for detailed description.

Reported-by: Nicholas Carlini <npc@anthropic.com>
Suggested-by: Nicholas Carlini <npc@anthropic.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/bpf/20260904083325.2083493-6-eddyz87@gmail.com
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>

1 files changed, 42 insertions, 0 deletions

diff --git a/Documentation/dev-tools/index.rst b/Documentation/dev-tools/index.rst
new file mode 100644
index 000000000..59cbb77b3
--- /dev/null
+++ b/Documentation/dev-tools/index.rst
@@ -0,0 +1,42 @@
+================================
+Development tools for the kernel
+================================
+
+This document is a collection of documents about development tools that can
+be used to work on the kernel. For now, the documents have been pulled
+together without any significant effort to integrate them into a coherent
+whole; patches welcome!
+
+A brief overview of testing-specific tools can be found in
+Documentation/dev-tools/testing-overview.rst
+
+Tools that are specific to debugging can be found in
+Documentation/process/debugging/index.rst
+
+.. toctree::
+   :caption: Table of contents
+   :maxdepth: 2
+
+   testing-overview
+   checkpatch
+   clang-format
+   coccinelle
+   context-analysis
+   sparse
+   kcov
+   gcov
+   kasan
+   kmsan
+   ubsan
+   kmemleak
+   kcsan
+   lkmm/index
+   kfence
+   kselftest
+   kunit/index
+   ktap
+   checkuapi
+   gpio-sloppy-logic-analyzer
+   autofdo
+   propeller
+   container