关于CVE-2023-4039对既有二进制文件影响及补丁的技术问询

首先明确漏洞核心：这是AArch64架构下GCC工具链的-fstack-protector栈保护机制缺陷，仅影响用存在问题的GCC版本编译、且使用了C99变长局部数组（VLAs）或alloca()分配动态栈变量的二进制程序。

1. 是否所有用该编译器生成的二进制文件均存在漏洞？ #

不是。只有同时满足以下两个条件的二进制才会受影响：

• 编译时启用了-fstack-protector（包括默认启用的-fstack-protector-strong等变体）；
• 程序中使用了C99变长局部数组，或通过alloca()动态分配栈上变量。
  若二进制是用无此缺陷的GCC版本编译，或未用到上述动态栈变量，则不存在该漏洞。

2. 编译器修复如何解决既有二进制文件的问题？ #

编译器修复无法直接修复已编译完成的二进制文件。修复后的GCC仅能保证后续编译的程序不再生成有缺陷的栈保护代码。对于已存在的受影响二进制，必须使用修复后的GCC重新编译，并替换原有二进制，才能彻底消除漏洞。

3. alloca()是否会调用共享对象文件？ #

不会。alloca()是编译器内置函数，编译时编译器会直接生成调整栈指针的机器码，不会调用任何共享对象（SO）中的函数。相关栈操作逻辑已硬编码在二进制文件中，与系统库无关。

4. 镜像未安装GCC，是否需要打补丁或打补丁是否有用？ #

分两种场景判断：

• 若镜像内的二进制程序是用有缺陷的GCC版本编译，且满足漏洞触发条件：打GCC补丁无效（镜像未安装GCC，且现有二进制已编译完成），需替换为用修复后的GCC重新编译的二进制程序；
• 若镜像内的二进制均不满足漏洞触发条件（如未启用栈保护、未使用VLAs或alloca()）：无需任何操作，扫描器告警属于误报，可忽略。

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