Merge master into fix/register-state-dump-keyerror (resolve conflict with #94)

Author: varun-r-mallya

.github/workflows/format.yml

@@ -12,8 +12,8 @@ jobs:
     name: Format
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v6
-    - uses: actions/setup-python@v6
+    - uses: actions/checkout@v7
+    - uses: actions/setup-python@v7
       with:
         python-version: "3.x"
     - uses: pre-commit/action@v3.0.1

.github/workflows/python-publish.yml

@@ -20,9 +20,9 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
 
-      - uses: actions/setup-python@v6
+      - uses: actions/setup-python@v7
         with:
           python-version: "3.x"
 

Makefile

@@ -10,12 +10,13 @@ test:
 	pytest tests/ -W ignore::DeprecationWarning -v --tb=short -m "not verifier"
 
 test-cov:
-	pytest tests/ -v --tb=short -m "not verifier" \
+	pytest tests/ -W ignore::DeprecationWarning -v --tb=short -m "not verifier" \
 		--cov=pythonbpf --cov-report=term-missing --cov-report=html
 
 test-verifier:
-	@echo "NOTE: verifier tests require sudo and bpftool. Uses sudo .venv/bin/python3."
-	pytest tests/test_verifier.py -v --tb=short -m verifier
+	@echo "NOTE: verifier tests shell out to 'sudo bpftool'; run 'sudo -v' first so"
+	@echo "      the timestamp does not lapse mid-run. bpftool must be installed."
+	pytest tests/test_verifier.py -W ignore::DeprecationWarning -v --tb=short -m verifier
 
 all: clean install
 

README.md

@@ -222,10 +222,12 @@ This architecture eliminates the need for embedding C code in Python, allowing f
 
 ---
 
-## Resources
+## Resources and Talks
 
+* [Linux Plumbers Conference 2025](https://www.youtube.com/watch?v=eFVhLnWFxtE)
 * [Video demonstration](https://youtu.be/eMyLW8iWbks)
-* [Slide deck](https://docs.google.com/presentation/d/1DsWDIVrpJhM4RgOETO9VWqUtEHo3-c7XIWmNpi6sTSo/edit?usp=sharing)
+* [More Demos](https://www.youtube.com/watch?v=GN17VBZYdCY)
+* [FOSDEM 2026](https://mirrors.dotsrc.org/fosdem/2026/h1308/T9D8ZR-pythonbpf.mp4)
 
 ---
 

docs/conf.py

@@ -15,8 +15,8 @@
 project = "PythonBPF"
 copyright = "2026, Pragyansh Chaturvedi, Varun Mallya"
 author = "Pragyansh Chaturvedi, Varun Mallya"
-release = "0.1.8"
-version = "0.1.8"
+release = "0.1.9"
+version = "0.1.9"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pythonbpf"
-version = "0.1.8"
+version = "0.1.9"
 description = "Reduced Python frontend for eBPF"
 authors = [
   { name = "r41k0u", email="pragyanshchaturvedi18@gmail.com" },

pythonbpf/allocation_pass.py

@@ -340,9 +340,15 @@ def _allocate_for_attribute(
 
     struct_type: type = local_sym_tab[struct_var].metadata
     if not struct_type or struct_type not in structs_sym_tab:
-        if VmlinuxHandlerRegistry.is_vmlinux_struct(struct_type.__name__):
+        # `metadata` only names a struct for struct-typed symbols. For anything
+        # else (None, an IR type, or a plain ctypes class such as a `c_void_p`
+        # context parameter) there is no vmlinux struct name to look up, so guard
+        # the attribute access instead of blowing up with an AttributeError.
+        vmlinux_struct_name = getattr(struct_type, "__name__", None)
+        if vmlinux_struct_name and VmlinuxHandlerRegistry.is_vmlinux_struct(
+            vmlinux_struct_name
+        ):
             # Handle vmlinux struct field access
-            vmlinux_struct_name = struct_type.__name__
             # Same discriminator handle_vmlinux_struct_field uses: a context
             # argument has no alloca of its own.
             is_context_field = local_sym_tab[struct_var].var is None

pythonbpf/codegen.py

@@ -26,7 +26,7 @@
 
 logger: Logger = logging.getLogger(__name__)
 
-VERSION = "v0.1.8"
+VERSION = "v0.1.9"
 
 
 def finalize_module(original_str):

pythonbpf/expr/ir_ops.py

@@ -11,7 +11,7 @@ def deref_to_depth(func, builder, val, target_depth):
     cur_type = val.type
 
     for depth in range(target_depth):
-        if not isinstance(val.type, ir.PointerType):
+        if not isinstance(cur_type, ir.PointerType):
             logger.error("Cannot dereference further, non-pointer type")
             return None
 

pythonbpf/functions/functions_pass.py

@@ -1,11 +1,12 @@
 from llvmlite import ir
 import ast
+import ctypes
 import logging
 
 from pythonbpf.helper import (
     HelperHandlerRegistry,
 )
-from pythonbpf.type_deducer import ctypes_to_ir
+from pythonbpf.type_deducer import ctypes_to_ir, is_ctypes
 from pythonbpf.expr import (
     eval_expr,
     handle_expr,
@@ -325,13 +326,28 @@ def process_func_body(
                     f"Unsupported annotation type: {ast.dump(context_arg.annotation)}"
                 )
 
+            # NOTE: `var` is None for the context parameter. It is the sentinel
+            # that tells consumers the symbol is an incoming function argument
+            # (`func.args[0]`) rather than a stack slot they can load from.
             if VmlinuxHandlerRegistry.is_vmlinux_struct(context_type_name):
                 resolved_type = VmlinuxHandlerRegistry.get_struct_type(
                     context_type_name
                 )
                 context_type = LocalSymbol(None, None, resolved_type)
                 local_sym_tab[context_name] = context_type
                 logger.info(f"Added argument '{context_name}' to local symbol table")
+            elif is_ctypes(context_type_name):
+                # Plain ctypes annotation, e.g. `ctx: c_void_p`. Register it so
+                # helpers that take the raw context (probe_read, ...) can resolve
+                # the name. Metadata is the annotated Python type, mirroring the
+                # vmlinux branch above.
+                context_type = LocalSymbol(
+                    None,
+                    ir.PointerType(),
+                    getattr(ctypes, context_type_name, None),
+                )
+                local_sym_tab[context_name] = context_type
+                logger.info(f"Added argument '{context_name}' to local symbol table")
 
     # pre-allocate dynamic variables
     local_sym_tab = allocate_mem(