C++ 怎么在编译时自动向代码中插入虚假死代码块（Junk Code）干扰反汇编-C++-PHP中文网

编译器不会自动插入死代码，需手动构造不可达但难被优化的junk代码。常用方法包括volatile变量、extern函数调用、模板递归生成及链接时注入自定义段。

c++ 怎么在编译时自动向代码中插入虚假死代码块（junk code）干扰反汇编

为什么编译器不会帮你插死代码，得自己动手

C++ 标准和主流编译器（g++、clang++、MSVC）默认不提供“自动注入 junk code”功能。所谓虚假死代码块，本质是人为构造的、不可达但语法合法、能通过编译、又难被优化掉的逻辑片段。编译器的优化器（如 -O2）反而会主动删掉它们——这正是你要对抗的。

关键不是“让编译器插”，而是“写出让编译器 不敢删 的 junk”。

用 volatile + 无副作用函数调用绕过 DCE

最常用且可靠的方式：引入外部可见副作用，阻止死代码消除（Dead Code Elimination）。常见错误是只写 int x = 1 + 2; —— 这种纯计算在 -O2 下直接被抹掉。

正确做法：

声明一个外部链接的 volatile 变量或函数（即使不定义，链接阶段再处理）
或调用带 attribute((used)) / [[gnu::used]] 的空函数

extern "C" void __junk_marker() __attribute__((used));
void fake_branch() {
    int x = rand(); // 引入不确定值
    if (x & 0x80000000) { // 条件永远不可静态判定
        volatile int a = 1;
        a += 2;
        __junk_marker(); // 链接时存在即可，不需实现
    }
}

要点：

volatile 让编译器放弃对 a 的优化假设
rand() 破坏常量传播（不用真随机，time(0) % 2 也行）
attribute((used)) 强制保留符号，防止 LTO 合并/删除

用模板递归 + constexpr 混淆控制流

适用于想批量生成 junk 块又不想手写几十个 if 的场景。利用模板实例化在编译期展开，但最终生成的汇编仍含跳转和栈操作。

template<int n>
struct JunkBlock {
    static void emit() {
        volatile int v = N * 7;
        if constexpr (N > 1) {
            JunkBlock<n-1>::emit();
        }
        asm volatile("" ::: "rax", "rbx"); // 内联汇编屏障，干扰寄存器分配
    }
};
// 使用：JunkBlock::emit();
</n-1></int>

注意点：