使用BCC开发BPF程序拆分打印字符串时出现寄存器错误如何解决？

问题根因 #

你遇到的报错核心来自两个问题：

1. 格式化字符串参数不匹配：你使用%s作为格式符时，仅需要传入字符串指针1个参数，但你额外传入了长度参数，导致参数栈错位，clang编译时生成了不符合BPF规范的指针位运算指令，触发了R4 bitwise operator |= on pointer prohibited报错。
2. *const char 指针的内存访问限制：BPF验证器对只读数据段的全局字符串指针边界检查支持有限，直接声明const char *str = "xxx"会导致验证器无法判定指针访问的合法性，触发opcode 00错误。

修复方案 #

核心修改点 #

• 将格式化字符串从%s\n替换为%.*s\n，该格式符刚好需要「长度+字符串指针」两个参数，匹配你传入的参数逻辑，避免参数错位。
• 保留栈上数组const char str[]的写法，不要改为指针形式，栈内存的访问边界更容易被BPF验证器识别。
• 为循环添加#pragma unroll，由于sizeof(str)是编译期常量，展开循环后可以避免验证器处理动态循环边界，提升通过率。

修复后的完整代码 #

from bcc import BPF
# BPF程序
bpfprogram = """
int helloworld2(void *ctx)
{
    const char str[] = "here are some words";
    int length = sizeof(str);
    int start = 0;
    #pragma unroll
    for (int i = 0; i < sizeof(str); i++) {
        if (str[i] == ' ') {
            bpf_trace_printk("%.*s\n", i - start, str + start);
            start = i + 1;
        }
    }
    bpf_trace_printk("%.*s\n", length - start, str + start);
    return 0;
}
"""
b = BPF(text=bpfprogram)
b.attach_kprobe(event=b.get_syscall_fnname("clone"), fn_name="helloworld2")
b.trace_print()

效果说明 #

修复后程序可以正常加载运行，每次触发clone系统调用时，会按空格拆分字符串逐段打印输出，不会触发验证器报错。

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