内核模块栈泄露警告与tee_ioctl_param结构体填充问题咨询

struct tee_ioctl_param 填充字段判断 #

你给出的struct tee_ioctl_param所有成员均为__u64类型，在Linux支持的所有主流架构下：

• 64位架构（x86_64、arm64、RISC-V 64等）中__u64的自然对齐要求为8字节，四个成员连续排布后总大小为32字节，刚好满足对齐要求
• 32位架构中__u64的对齐要求通常也为8字节，该结构体布局仍然连续
  因此该结构体成员之间、末尾都不会产生填充字节。

警告性质与泄露风险判断 #

该警告属于静态代码检测工具的误报，不存在内核栈信息泄露风险，核心依据如下：

• 不存在未初始化的填充区域被拷贝到用户空间的基础条件
• 栈上局部变量struct tee_ioctl_param ip的所有成员都被显式覆盖：
  • ip.attr在进入switch分支前就完成赋值，所有执行路径都会覆盖该字段
  • switch的所有分支（value类型参数、memref类型参数、default分支）都对a、b、c三个成员做了显式赋值，不存在未初始化的成员字段

如果要消除静态检测警告，可以将struct tee_ioctl_param ip;修改为struct tee_ioctl_param ip = {0};，对功能没有任何影响，同时可以让检测工具确认所有字段都已初始化。

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