目录
一、ARM VMP简介二、框架设计三、文件分析反汇编四、Opcode指令解析与VMCode生成五、增加节区与入口点六、VMP引擎七、总结
ARM VMP是这几年颇为流行的移动端代码指令保护技术,该技术方案大规模应用到软件保护领域最早在PC时代源于俄罗斯的著名保护软件"VmProtect",该方案引起了软件保护壳领域的革命。各大软件保护壳开发团队都将虚拟机保护这一新颖的技术加入到自己的产品中。但是到目前为止该软件还未对ARM平台支持。
随着移动端安全开发的升级,移动应用的安全越来越被重视,在PC时代用到的VMP方案也被成功应用到移动端的加固产品中来。
从加壳的整体流程来看主要分为加壳端与VM引擎端,引擎负责解析VM后的指令。框架主要分为代码分析与代码执行两个部分,如图1-1(ARM VMP加壳流程)与1-2(ARM VMP引擎运行流程)所示:
图2-1
图2-2
本节着重讲解了加壳与VM引擎的模块组成与总体流程设计思想,具体流程讲解在后面分析。
在进行加壳保护之前,首先有一个重要的问题就是保护对象,确认保护对像是要反汇编分析识别出要保护的目标,解析ELF文件格式定位到目标指令,一个标准的ELF文件,是由文件头(ELF Header),程序头(Segment Header),节头(Section Header),符号表( Symbol Table),动态符号表(Dynamic Symbol Table)等组成,如下图3-1所示:
图3-1
反汇编目标指令。代码如下:
void disasm(unsigned char* code, size_t codesize, std::vector<string>& retcode)
通过反汇编引擎从代码开头开始遍历。先找函数开头的标记后,接下来找函数结尾,找到后与前一个开头标记进行闭合并记录。遇到其余指令则直接略过。依次循环下去。
当我们找到了我们的保护对象并将其反汇编后,接下来要做的是将每条汇编指令转换成opcode码,方便后续做VMcoode转换。代码如下:
void assemble_ks(const std::vector<std::string>& code, std::vector<uint32_t>& bycode) {
当分析到具体的指令时,将当前指令的编码,信息,结构以及引用的内存或者数据记录到指令记录结构。
指令信息分析,主要对每个需要保护的每条指令进行分析,将此条指令的机器码,汇编代码,内存地址,是否引用了数据,以及对标志寄存器与通用寄存器的影响一一列出。
arm指令一般编码格式和一般语法格式如下图4-1与4-2所示:
图4-1
图4-2
找到原始的Opcode替换成一个随机产生的OPCODE,默认Opcode的转码规则是采用将Opcode表与Handel通过打乱原有的映射生成的。例如原先“mov R0, 1”指令的硬编码是“4FF001 00”其Opcode部分是“4f”则在转换后有可能变换为“5fF001 00”。代码如下所示:
DecodedOperation Decoder::decode(uint32_t instr) {
虚拟机保护会将被保护的代码与数据抹掉替换成VM入口,如果使用静态分析此函数将会一无所获。在虚拟机初始化阶段会使用“VM入口”来填充这个位置。当运行到此函数时,会首先进入“VM入口”。
VM入口代码,原始指令被替换成如下入口代码:
mov r0, codeindex //vmcode索引
添加新节区写入引擎代码与vmcode:
int addSectionFun(char *lpPath, char *szSecname, unsigned int nNewSecSize)
VMcode定义完后,就可以开始实现解释VMcode的解释器了。解释器我们需要实现一个虚拟环境以及各个VMcode对应的handle函数。虚拟环境则是真实物理机的一个虚拟,是自己定义的字节码运行的环境。
主要有如下步骤:
1、进入vm_start:
虚拟机的入口函数,对虚拟机环境进行初始化
2、vm_dispatcher:
调度器,解释opcode,并选择对应的handle函数执行,当handle执行完后会跳回这里,形成一个循环。
3、opcode :
程序可执行代码转换成的操作码
虚拟机执行的基本流程如图6-1所示:
图6-1
代码如下所示:
void VirtualMachine::execute() {
由于VMP方案的原因,大部分使用VMP场景时都考虑到效率问题,一般的程序都是只对一些核心算法进行了VMP,以达到防逆向分析或破解的目的。
一个好的VMP保护产品需要考虑很多方面,安全、性能、兼容、易用等,其中代码分析引擎、虚拟机引擎保护做得好与否直接关系到产品的稳定性。