编写eBPF程序遇到R3 invalid mem access 'scalar'错误求助

这个错误的核心原因是：eBPF验证器无法确认寄存器R3中存储的hash_policy指针指向的是合法可访问的内存区域，将其判定为未验证的标量（scalar），因此禁止直接解引用操作。

针对你的场景，可按以下步骤排查解决：

• 先检查指针有效性
  在解引用hash_policy之前，必须先验证指针非空。添加空指针判断：

  if (!hash_policy) {
      return 0; // 或其他错误处理逻辑
  }
  

• 确认结构体内存偏移正确性
  验证器日志显示你尝试访问r3 +24的位置，对应policy_specifier_case字段。需要确认ProtobufCMessage结构体的实际大小是否为24字节——如果base的sizeof不是24，那么偏移量计算错误会导致访问非法内存。可以通过编译时打印sizeof(ProtobufCMessage)来确认。

• 使用安全读取函数替代直接解引用
  如果hash_policy指向的是内核空间中不确定的内存区域（比如来自网络包、用户空间传递的指针），不要直接解引用，改用bpf_probe_read（或bpf_probe_read_user针对用户空间）来安全读取字段值：

  __u32 policy_case;
  // 读取policy_specifier_case字段到栈上的变量
  if (bpf_probe_read(&policy_case, sizeof(policy_case), &hash_policy->policy_specifier_case)) {
      return 0; // 处理读取失败
  }
  // 再进行枚举值判断
  if (policy_case == ROUTE__ROUTE_ACTION__HASH_POLICY__POLICY_SPECIFIER_HEADER) {
      // 你的业务逻辑
  }
  

• 确保指针指向eBPF允许访问的内存
  eBPF程序只能访问栈、全局变量、BPF映射内的内存，以及通过特定辅助函数获取的合法内核内存。如果hash_policy来自其他不可靠来源，需要先通过验证逻辑确认其指向的内存范围在合法区间内。

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