彩票走势图

壳主要干了什么？

①初始化壳模板：指令变形、等价替换。例如：

jmp = push + retn 或则 lea + jmp
lods byte ptr ds:[esi] = mov al,[esi] + inc esi 或则 mov al,[esi] + add esi,1

②优化Handle块代码，将不使用的直接删除

ESIResults[X] == 0表示不使用，这种就会优化
ESIResults[X] == 1表示使用

③找出填充虚拟机上下文的两个Handle块

1、找出壳模板push 0xFACE0002与mov edi,0xFACE0003

总结：

• 循环遍历作者设计的Handle块找到符合条件的，例如：规律if(v227 & 0xFFFFFF00) == 0xFACE0000

  

• 所使用的结构体如下：

  

2、根据pNtHeader_OptionalHeader.Magic筛选ESI_Matching_Array数组

首先我们得到的信息有：

• ESI_Matching_Array每一组是8个字节，一共有0Xcc组，也就是总长度是0x660=8*0xCC，目前已知：
  ESI_Matching_Array[0] == 与Magic有关
  ESI_Matching_Array[1] == ？？
  ESI_Matching_Array[2] == VMOpcode
  ESI_Matching_Array[3] == ？？
  ESI_Matching_Array[4] == ？？
  ESI_Matching_Array[5] == Size
  ESI_Matching_Array[6] == ？？
  ESI_Matching_Array[7] == 未使用，都是0
  
• v184数组保存所有结果0或则1
• 第一个判断：v16 = _bittest(v15, Type & 0x7F)成立条件。目前只讨论win32PE结构，Type都是=1，我们发现*(byte*)(ESI_Matching_Array+0)的值只有6(‭0110‬)或则4(‭0100‬)

  

  
  6=0110 bt 1 第一位的值给CF，就是1，不成立继续执行第二个判断
  

  

  
  4=0100 bt 1 第一位的值给CF，就是0，成立v17=0，不继续执行第二个判断
  

  

  
  

总结：

• v184保存结果的什么时候使用、区别这个有什么意义？1跟0有什么区别？
  1表示使用，0表示未使用（后期优化掉）

  

• ESI_Matching_Array与VmHandle块对应（我整理了一份，未必全对的只作为参考）

  

3、判断用户解析Opcode有没有需要特殊处理的指令

这些都是一些不常用的指令，如果存在就在ESIResults[X]=1，表示使用

假设找到的话执行Vmp_GetVmHandleIndex函数

v184==ESIResults就是我们前面筛选的，如果有就在指定位置+1，表示使用