[原创]LLVM 基本块VMP保护之简易虚拟机示例实现-编程技术-看雪安全社区

[原创]LLVM 基本块VMP保护之简易虚拟机示例实现

发表于: 2025-6-15 18:03 14035

[原创]LLVM 基本块VMP保护之简易虚拟机示例实现

TeddyBe4r

2025-6-15 18:03

14035

### 大纲
* 前言
* 虚拟机结构设计
* 虚拟机指令集设计
* VMContext
* Handle 
* 虚拟机解释器
* Demo中示例函数的参数地址修复
#### 前言
大家好，我是武汉科锐逆向CR49期的学员，这篇文章是为我最近开发的基于LLVM的混淆框架中的基本块VMP保护所写的验证Demo的解析，希望能够帮助到需要开发虚拟机保护的朋友们。
#### 虚拟机结构设计
我们这次写的是个简单指令集的堆栈式虚拟机，堆栈式虚拟机相对于寄存器虚拟机虽然效率不及寄存器式虚拟机但是指令集可以足够简单对逆向还原能够造成较大的困扰，同时能够较好的产生混淆指令，所以我们选择堆栈式虚拟机，接下来我们谈谈虚拟机的结构。
首先对于虚拟机结构设计在看雪中已经有很多文章阐述过常见的虚拟机结构，通常都是`Interpreter + opcode + handleTable + VMContext`的形式如下图所示

![图片描述](upload/attach/202506/983513_HGGNA4PKJ87ZEG5.webp)

整个流程就是模拟CPU的行为进行。
虚拟机执行循环:
1. 取指 (Fetch): 从VMContext的程序计数器(PC)获取当前指令地址，读取指令
2. 译码 (Decode): Interpreter解析指令，提取操作码和操作数
3. 查表 (Lookup): 在HandleTable中查找操作码对应的处理函数
4. 执行 (Execute): 调用处理函数，执行具体操作
5. 写回 (Writeback): 更新VMContext中的寄存器、内存等状态
6. 循环 (Loop): 更新PC，检查是否继续执行下一条指令
这个循环构成了虚拟机的核心执行模式，确保程序能够按顺序正确执行。如下图
 ![图片描述](upload/attach/202506/983513_8H6RASTT2UY5DP5.webp)
在LLVM中我们很大程度上想要保护的一般都是核心函数中的某块计算代码，由于在我的框架中存在**间接分支跳转**这就导致在经过混淆后的程序中基本核心代码都是以基本块的形式存在，这让我们能够更细粒度的对函数进行VM保护，即对每个基本块进行VM保护，值得注意的是在对基本块进行VM的时候需要考虑SSA中父基本块的PHI函数问题需要保证相关变量作用域的正确性，具体解决方案就是一个很大的话题了，对于LLVM如何植入解释器等技术细节，在文章中我们不做进一步的讨论，请各位自行研究。

#### 虚拟机指令集设计
指令集我们可以根据需要虚拟化的目标对象来进行虚拟化指令集设计，比如如果你仅仅想保护一段核心的算法其实只需要模拟出常见的计算指令即可，如果你想要保护整个函数则需要模拟出整个指令集，我们作为演示程序仅做出一些简单指令的模拟，**且对于指令集由于具有Handle表的存在所以我们可以将指令的Opcode设计成线性递增的这样可以直接通过下标从Handle表中获取对应的Handle.**
```
	00(参数指示位) 000000 Handle idx
	应该存在一个表用于随机映射handle
	00 vPop Reg32 弹出到寄存器
	01 vPush Reg32 压入寄存器
	02 vPush Imm32 压入立即数
	03 vAdd 加法
	04 vSub 减法
	05 vDiv 除法
	06 vMul 乘法
	07 vRSH Imm32右移
	08 vLSH Imm32左移
	09 vAnd 与运算
	0A vOr  或运算
	0B vXor 异或运算
	0C vNot 非运算
	0D vRet 返回指令
		0E vNop 空指令
		0F vJmp 跳转指令
		10 vJZ 0跳转
		11 vJB stack1 > stack2 则跳转
		12 vRead Imm32 读取4字节到虚拟栈上
		13 vRead Reg 读取4字节到虚拟栈上
	0E vRead 读取栈顶地址处的4字节到栈顶取代处栈顶地址
```
我们暂且模拟上面没有退格的指令，在上述的虚拟机结构体系中每一个指令都代表着一个Handle该Handle存在一个全局数组中被称为Handle表。如下所示
```
/* HANDLE */
typedef void (*HANDLE)(VMContext& ctx);

HANDLE g_handle[] =
{
	&vPopReg32,
	&vPushReg32,
	&vPushImm32,
	&vAdd,
	&vSub,
	&vDiv,
	&vMul,
	&vRSH,
	&vLSH,
	&vAnd,
	&vOr,
	&vXor,
	&vNot,
	&vRet,
	&vRead
};
```
此handle表的顺序是随机的，这样我们就可以通过随机重排Handle表来保证HandleOpcode的随机这样就导致攻击者无法通过一次逆向解决整个保护系统，我们同时还可以对Handle进行膨胀混淆，通过**虚假控制流** **随机控制流** **膨胀混淆** 以阻扰攻击者对Handle进行特征工程，这样能够避免低级攻击者的脚本行为。在这个基础上由于此Demo是用于我的框架之中的所以我还为他加了一个单字节密钥，此密钥将会作用于每一个基本块，在虚拟机解释执行的时候将会自动利用该密钥解密基本块中的VMOpcode当然这里可以选用其他更好的加密方案这篇文章的重点不在这里所以就选择了最简单的方案。如下
```
unsigned char DecrypyOpcode(unsigned char opcode)
{
	return szXorkey ^ opcode;
}
```
#### VMContext
VMContext是虚拟机的环境控制块，该结构主要负责保证寄存器环境的正确性，其中需要保存常见的寄存器环境如下，在VMContext中我们有一个`status`成员该成员用于标识虚拟机是否可以返回。
```
/* x86堆栈环境 */
typedef struct _VMContext
{
	/*
	eax 00
	ebx 04
	ecx 08
	edx 0c
	ebp 10
	esp 14
	edi 18
	esi 1c
	eflags 20 
	*/

unsigned int eax;
	unsigned int ebx;
	unsigned int ecx;
	unsigned int edx;
	unsigned int* ebp;
	unsigned int* esp;
	unsigned int* vEsp;
	unsigned int edi;
	unsigned int esi;
	unsigned int eflags;
	unsigned char* opcode;
	int state;
}VMContext, *PVMContext;

```
在这里我们可以将指令集中的寄存器编号设置为 `00 04 08 0c 10`这样的序列因为这样我们在访问寄存器的时候可以通过转换`Ctx` `Int*`通过下标来获取到寄存器的值。如下所示
```
void vPopReg32(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned char reg = *ctx.opcode++;

((int*)(&ctx))[reg / 4] = *ctx.vEsp;
	ctx.vEsp++;
	return;
}
```
然后我们还需要用堆申请一个空间用作虚拟机栈
```

void VmInit(VMContext* ctx, unsigned char* opcode)
{

__asm {
		mov eax, ctx
		mov dword ptr [eax + 0], eax
		mov dword ptr [eax + 4], ebx
		mov dword ptr [eax + 8], ecx
		mov dword ptr [eax + 0xc], edx
		mov dword ptr [eax + 0x10], ebp
		mov dword ptr [eax + 0x14], esp
		mov dword ptr [eax + 0x18], edi  // 直接保存，无需中转
		mov dword ptr [eax + 0x1C], esi  // 直接保存，无需中转

// 保存EFLAGS
		pushfd
		pop dword ptr ctx.eflags    // 直接弹出到内存
	}
	ctx->state = 0;

/* 赋值OPCODE的EIP */
	ctx->opcode = opcode;
	/* 申请栈空间设置栈指针 */
	ctx->vEsp = (unsigned int*)malloc(STACK_SIZE);

ctx->vEsp = (unsigned int*)((unsigned char*)ctx->vEsp + STACK_SIZE);

g_orgStack = ctx->vEsp;
	return;
}
```
#### Handle
最重要的就是Handle的设计，因为Handle是正确模拟指令操作，以及直接操作VMContext对象的函数，我们需要根据堆栈式虚拟机的指令特性正确写出Handle。如下
```

void vPopReg32(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned char reg = *ctx.opcode++;

((int*)(&ctx))[reg / 4] = *ctx.vEsp;
	ctx.vEsp++;
	return;
}

void vPushReg32(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned char reg = *ctx.opcode++;
	ctx.vEsp--;
	*(ctx.vEsp) = ((unsigned int*)(&ctx))[reg / 4];
	return;
}

void vPushImm32(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned int Imm32 = *(unsigned int*)ctx.opcode;
	ctx.opcode += 4;
	ctx.vEsp--;
	*ctx.vEsp = Imm32;
}

void vAdd(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;

unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;
	
	*ctx.vEsp = num1 + num2;
	return;
}

void vSub(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;

unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;

*ctx.vEsp = num1 - num2;
	return;
}

void vDiv(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;

unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;

*ctx.vEsp = num1 / num2;
	return;
}

void vMul(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;

unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;

*ctx.vEsp = num1 * num2;
	return;
}

void vRSH(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned int Imm32 = *(unsigned int*)ctx.opcode;
	ctx.opcode += 4;
	*ctx.vEsp >>= Imm32;
}

void vLSH(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned int Imm32 = *(unsigned int*)ctx.opcode;
	ctx.opcode += 4;
	*ctx.vEsp <<= Imm32;
}

void vAnd(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;
	*ctx.vEsp = num1 & num2;
	return;
}

void vOr(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;
	*ctx.vEsp = num1 | num2;
	return;
}

void vXor(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	unsigned int num1 = *ctx.vEsp;
	ctx.vEsp++;
	unsigned int num2 = *ctx.vEsp;
	*ctx.vEsp = num1 ^ num2;
	return;
}

void vNot(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	*ctx.vEsp = ~(*ctx.vEsp);
	return;
}

void vRet(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	ctx.state = 0xff;
	return;
}

void vRead(VMContext& ctx)
{
	unsigned char op = *ctx.opcode++;
	int* addr = (int*)(*ctx.vEsp);
	*ctx.vEsp = *addr;
	return;
}
```
#### 虚拟机解释器
要想要Handle能被正确的执行我们还需要一个解释器，该解释器模仿CPU的行为，即取`指令->译码->执行` 在我们的保护程序中还需要对Opcode 进行解密。
```
int VmEntry(unsigned char* opcode)
{
	VMContext ctx{0};

//VmInit(&ctx, opcode);
	unsigned int* caller_ebp;
	__asm {
		mov eax, [ebp]      // 获取add函数的ebp
		mov caller_ebp, eax
	}

VmInit(&ctx, opcode);

// 手动设置正确的ebp
	ctx.ebp = caller_ebp;

while (true)
	{
		if (ctx.state == 0xff)
			break;
		
		unsigned char op = DecrypyOpcode(GetOpcode(ctx));
		g_handle[op](ctx);
	}
	
	return ctx.eax;
}
```
实话说解释器其实并没有太多的技术难点，对于虚拟机保护而言更重要的是如何保证原函数的API调用以及跳转语句的翻译和返回才是真正的难点。

#### demo中的变量地址修复
因为这个还是个Demo程序所以我们进入虚拟机，还不是那么方便因为正常的虚拟机需要在编译期或者插入的时候计算出解释器到被保护的函数的距离然后在函数开头进行跳转，在函数的结尾跳回来，但是我们全程在VS中演示且因为我懒，所以导致没有正确的调用栈，不过这也不是什么难事，我们只需要在写VMCode时候，手动加上上一层函数的栈底即可。
```

// 加法字节码
unsigned char g_opAdd[] =
{
	// 获取参数1 (a)：ebp + 0x08
	0x78, 0x10,                    // vPush ebp
	0x7B, 0x08, 0x00, 0x00, 0x00, // vPush 0x08
	0x7A,                          // vAdd (计算ebp + 0x08)
	0x77,                          // vRead (读取参数1)

// 获取参数2 (b)：ebp + 0x0C  
	0x78, 0x10,                    // vPush ebp
	0x7B, 0x0C, 0x00, 0x00, 0x00, // vPush 0x0C
	0x7A,                          // vAdd (计算ebp + 0x0C)
	0x77,                          // vRead (读取参数2)

// 执行加法
	0x7A,                          // vAdd (参数1 + 参数2)

// 返回结果
	0x79, 0x00,                    // vPop eax (结果保存到eax)
	0x74                           // vRet
};
/* 加法调用如下 */
__declspec(naked) int add(int a, int b)
{
	__asm {
		// 建立栈帧
		push ebp
		mov ebp, esp

// 保存寄存器
		push eax
		push ebx
		push ecx
		push edx

// 调用VM
		push offset g_opAdd
		call VmEntry
		add esp, 4

// 恢复寄存器 (eax是返回值，不恢复)
		pop edx
		pop ecx
		pop ebx
		add esp, 4  // 跳过原eax

// 清理栈帧
		mov esp, ebp
		pop ebp
		ret
	}
}
```
最后我们可以看下运行的效果
 ![图片描述](upload/attach/202506/983513_CGC9PQR58KD6R9U.webp)
换一个参数
 ![图片描述](upload/attach/202506/983513_8AXTGV79AYFYSZP.webp)
对于完整的虚拟保护兼容性是最大的问题，但是如果我们能够想办法将虚拟机保护的粒度减少到基本块也能避开一部分的兼容性问题，当然基于LLVM IR来设计开发虚拟化保护也能让你少做部分工作。
贴出全部源码大家可以自己复现并且在这基础上增强虚拟机，并且尝试进行PIC(大概就是Malloc可能需要替换成VirtualAlloc然后用PEB通过APIHash拿到指针后调用即可)然后植入到汇编中去, 谢谢大家的阅读，如果有什么不对的地方也烦请各位在评论区指出。
```
#include <stdio.h>
#include <malloc.h>
#include <time.h>
#include <random>
#define STACK_SIZE 0x1000

void* g_orgStack = nullptr;

/* x86堆栈环境 */
typedef struct _VMContext
{
	/*
	eax 00
	ebx 04
	ecx 08
	edx 0c
	ebp 10
	esp 14
	edi 18
	esi 1c
	eflags 20 
	*/

/* HANDLE */
typedef void (*HANDLE)(VMContext& ctx);
/*
*

00(参数指示位) 000000 Handle idx
	应该存在一个表用于随机映射handle
	00 vPop Reg32 弹出到寄存器
	01 vPush Reg32 压入寄存器
	02 vPush Imm32 压入立即数
	03 vAdd 加法
	04 vSub 减法
	05 vDiv 除法
	06 vMul 乘法
	07 vRSH Imm32右移
	08 vLSH Imm32左移
	09 vAnd 与运算
	0A vOr  或运算
	0B vXor 异或运算
	0C vNot 非运算
	0D vRet 返回指令
		0E vNop 空指令
		0F vJmp 跳转指令
		10 vJZ 0跳转
		11 vJB stack1 > stack2 则跳转
		12 vRead Imm32 读取4字节到虚拟栈上
		13 vRead Reg 读取4字节到虚拟栈上
	0E vRead 读取栈顶地址处的4字节到栈顶取代处栈顶地址

/*
	堆栈式虚拟机
*/

/*
	ebp
	ret
	ebp
	ret
	2
	1

unsigned char szXorkey = 0x79;

// 执行加法
	0x7A,                          // vAdd (参数1 + 参数2)

// 返回结果
	0x79, 0x00,                    // vPop eax (结果保存到eax)
	0x74                           // vRet
};