请求提供XZ后门最小化示例及IFUNC函数替换问题解决

核心逻辑 #

这个示例模拟XZ后门的核心机制：无需修改目标程序（如sshd）的代码，通过GNU IFUNC机制在程序启动时替换关键函数的实现，从而篡改程序行为。

模拟sshd的主程序（main.c） #

#include <stdio.h>

// 模拟sshd中负责用户验证的核心函数
int verify_user(const char *username, const char *password) {
    // 原逻辑：仅当密码为"correct"时验证通过
    return (password[0] == 'c' && password[1] == 'o' && password[2] == 'r' && 
            password[3] == 'r' && password[4] == 'e' && password[5] == 'c' && 
            password[6] == 't') ? 1 : 0;
}

int main() {
    char user[20], pass[20];
    printf("Enter username: ");
    scanf("%s", user);
    printf("Enter password: ");
    scanf("%s", pass);

    if (verify_user(user, pass)) {
        printf("Authentication successful!\n");
    } else {
        printf("Authentication failed!\n");
    }
    return 0;
}

后门注入代码（backdoor.c） #

#include <stdio.h>

// 声明原函数的原型，确保类型匹配
int verify_user(const char *username, const char *password);

// 篡改后的验证函数：添加后门逻辑
int backdoor_verify(const char *username, const char *password) {
    // 后门触发条件：密码为"backdoor"时直接绕过验证
    if (password[0] == 'b' && password[1] == 'a' && password[2] == 'c' && 
        password[3] == 'k' && password[4] == 'd' && password[5] == 'o' && 
        password[6] == 'o' && password[7] == 'r') {
        printf("[Backdoor Triggered] Bypassed auth for user: %s\n", username);
        return 1;
    }
    // 保留原函数逻辑，不影响正常使用
    return verify_user(username, password);
}

// IFUNC解析器：程序启动时将verify_user符号指向后门函数
static void *resolve_verify_user(void) {
    return backdoor_verify;
}

// 用GNU IFUNC属性声明替换原verify_user符号
int verify_user(const char *, const char *) __attribute__((ifunc("resolve_verify_user")));

编译与运行（GCC专属） #

GNU IFUNC是GCC的扩展特性，需使用GCC编译器：

1. 编译主程序目标文件：

gcc -c main.c -o main.o

2. 编译后门代码目标文件：

gcc -c backdoor.c -o backdoor.o

3. 链接生成可执行程序（注意：后门目标文件要放在主程序之后，确保符号覆盖）：

gcc main.o backdoor.o -o fake_sshd

4. 测试运行：

./fake_sshd

预期输出 #

• 输入密码correct：正常通过验证，输出Authentication successful!
• 输入密码backdoor：触发后门，输出[Backdoor Triggered] Bypassed auth for user: xxx，随后输出Authentication successful!

常见问题排查 #

如果之前的代码未实现函数替换，大概率是以下原因：

• 链接顺序错误：后门目标文件必须在主程序目标文件之后链接，否则原函数符号会优先被解析
• IFUNC属性使用错误：解析器函数必须返回void *类型，且__attribute__((ifunc("resolver")))中的函数名要与解析器完全一致
• 编译器标准限制：如果使用了-std=c99等严格标准编译，需添加-fgnu-extensions参数启用GNU扩展

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