eBPF加载时verifier报expected=map_ptr错误排查咨询

R1 type=inv expected=map_ptr错误的核心原因是手写加载器未实现eBPF ELF文件的重定位逻辑。
从反汇编结果可以看到，调用bpf_map_lookup_elem前的指令为r1 = 0 ll：LLVM编译eBPF程序时，对全局map的引用不会直接填地址，而是留8字节的立即数占位符，同时在ELF文件里生成对应的重定位条目，标记这个位置需要在加载时替换为实际的map句柄。
当前加载器直接把ELF文件里的程序段原样读入内存就发起BPF_PROG_LOAD系统调用，传给helper函数的第一个参数始终是占位值0，BPF校验器检查到传入的是普通立即数（inv即无效立即数）而非合法的map指针，直接拒绝加载。
本次提交的eBPF C程序本身逻辑没有问题，错误完全出在加载器实现上。

• 按标准ELF格式解析目标文件，不要裸读文件偏移：eBPF编译生成的.o是标准ELF文件，包含程序段、maps段、重定位段、license段等多个部分，不能直接按固定长度读文件内容当程序指令，需要先按ELF规范解析出各个段的实际位置和长度。
• 加载程序前先创建所有map：解析.maps段的内容，拿到每个map的类型、key大小、value大小、最大条目数配置，逐个调用BPF_MAP_CREATE系统调用创建map，保存每个map对应的文件描述符。
• 完成重定位修正：解析程序段对应的重定位段（命名格式为.rel<程序段名>，本程序对应段名为.reltracepoint/skb/consume_skb），找到所有指向maps段的重定位条目，把对应指令里的占位立即数替换为之前创建map拿到的fd。
• 重定位处理完成后，再调用BPF_PROG_LOAD加载程序字节码，此时校验器就能正确识别传入的map指针，不会再报类型错误。

• 调高verifier日志级别：当前设置的attr.log_level=1仅输出基础错误信息，遇到复杂校验问题可以把值调到2或3，会输出每条指令执行前后的寄存器状态、栈快照、校验器分支推导过程，能大幅缩短定位问题的时间。
• 分层排查问题：调试自定义加载器时，先用libbpf、bpftool等成熟加载工具加载编译好的eBPF目标文件，确认eBPF程序本身逻辑无校验错误，再调试加载器逻辑，避免同时排查程序、加载器两类问题。比如本程序用bpftool的load命令可以直接加载成功，能快速排除C代码的问题。
• 结合反汇编定位指令：verifier报错会明确给出出错的指令偏移，对应LLVM生成的反汇编列表就能直接定位出错位置，比如本次报错指向偏移6的call bpf_map_lookup_elem指令，往前追溯参数赋值指令就能快速发现r1的值未被正确设置。
• 积累常见报错对应关系：记住verifier常见报错的含义，比如expected=map_ptr说明对应helper的map参数传错，invalid access to packet说明包指针访问越界，stack out of bounds说明栈访问超出范围，不用逐字翻文档就能快速锁定问题方向。

内容的提问来源于stack exchange，提问作者marxlaml