Yoo趣儿

Yoo趣儿 › 操作系统 › Windows › 软件虚拟机保护分析资料整理

软件虚拟机保护分析资料整理

查看 117|回复 10
作者：Cr4ckm3   
awesome-vmp
关于软件虚拟化保护（如VMProtect）的资料。
工具篇介绍了VM保护的现有分析工具，并进行了简单的试用分析。
文章篇介绍了VM保护相关的分析文章，包括对虚拟机的分析，及一些反混淆方法。
本项目发在了github上， https://github.com/lmy375/awesome-vmp
如果有其他好用的工具或者优秀的文章可以留言链接或者直接在github上提交 pull request，优秀的资源需要分享才能最大发挥其价值。
工具篇
FKVMP
  • 针对目标：VMProtect 1.x 2.x （大概到 VMProtect 2.09）
  • 类型：Ollydbg 插件
  • 开发者：Nooby
  • 功能：Handler 识别、还原 PCODE 等

    FKVMP 是比较古老的一款 Ollydbg 插件，但在当时非常有名。
    使用方法简单，在虚拟机入口处（push/call 或 jmp）右键 FKVMP -> start 即可。
    下图是对如下代码
    mov ebx, 0deadbeefh
    mov eax, 0beefdeadh
    使用 VMProtect 1.60 保护后， 使用 FKVMP 分析的结果（结果打印在 OD 的日志窗口中）。

    可以所有Handler已经为指令都已经识别出来，初始化压栈的寄存器顺序也会打印出来。
    本工具（可能是第1次完成）字节码的还原的实现（其实可以认为是虚拟机指令的反汇编）使对 VMProtect 的人工分析成为可能。
    缺点是只支持单一的基本块，每次分析到 SetEIP 指令（实际就是跳转指令）就会停止，需要人工操作，去分析下一基本块。
    VMP分析插件
  • 针对目标：VMProtect 1.x 2.x （大概到 VMProtect 2.09）
  • 类型：Ollydbg / Immunity Debugger 插件
  • 开发者：zdhysd
  • 功能：Handler 识别、虚拟字节码调试、表达式化简
  • 链接：https://bbs.pediy.com/thread-154621.htm
  • 最后更新时间：v1.4 2013/01/30

    可以认为是 FKVMP 的超级加强版，在同类工具之中功能最为强大的工具。
    首先该工具支持了跨基本块的分析，可以一次性将全部虚拟机字节码提取出来。除此外，还有许多亮点功能：
  • 虚拟指令级别的调试。可以像调试汇编一样调试虚拟机指令，可以单步运行一条虚拟指令，并查看虚拟寄存器、虚拟栈的信息。
  • 表达式转化及化简。本功能会在虚拟指令级别进行数据流和控制流的分析，进行字节码的收缩。 VMProtect 是栈机结构，同时有 NOR 逻辑的混淆膨胀，字节码的收缩还原一直是研究的重点，本工具可以完成字节码收缩过程，输出收缩后的表达式。唯一不同是没有转化成原始的 x86 代码。但在分析上，已经可以提供极为有力的参考。
  • 支持字节码的 Patch。由于加密的存在，字节码 Patch 一直是十分痛苦的过程，本工具可以像 Patch 普通指令一样 Patch 虚拟指令。
  • 支持自定义模板。模板包括 Handler 识别模板和表达式化简模板。该工具提供了模板文件及模板修改工具。理论上，可以通过对模板文件的修改使及兼容所有版本的 VMProtect 1.x 2.x。（ 3.x 因为虚拟机结构变化不能支持）。

    下图是工具使用截图。该工具以插件的形式，实现了一个与原生OD非常相似的VMP调试界面，寄存器、栈的内容可以实时查看。

    使用方法简单，在虚拟机入口处（push/call 或 jmp）右键 VMP分析插件 -> 分析虚拟程序 完成分析。然后可以打开插件的虚拟指令窗口、调试窗口查看字节码并进行调试分析。
    VMSweeper
  • 针对目标：VMProtect 2.x 、Code Virtualizer
  • 类型：Ollydbg 插件
  • 开发者：Vamit
  • 功能：VMProtect 保护下的 x86 代码还原
  • 最后更新时间：v1.5 2014

    可以完成 VMP 保护代码还原的工具。 完全的代码还原是十分困难的，因此该工具稳定性不高，经常出现异常。但是某些简单样本的测试，确实有不错的还原效果。
    使用方法：
    [ol]
  • 使用纯净版 OD 加载插件，避免插件间冲突。
  • Plugins -> VMPSweeper -> Analyze all VM reference
  • 弹出窗口选要分析的 VM， 右键 Decode VM。
  • 此时会自动在虚拟机入口点断下，F1 快捷键，VMSweeper会开始进行分析。
  • 分析完成后，会弹出提示框重新运行进程。重新运行后， Plugins -> VMPSweeper -> Continue decode VM。继续分析。
  • 如果分析没有产生任何异常，VMPSweeper 会把还原后的代码 Patch 到原本的虚拟机入口处。
  • 但上述过程经常出错，可以在 OD 根目录下查找 VMS_xxx 文件夹，查看日志文件，*.log 文件中保存着还原的过程输出。
    [/ol]
    如下是log文件截取。
    ...
    ++++++++++++++++++++++++++++++++++++
      Section a12 final
    ++++++++++++++++++++++++++++++++++++
    004100BC: push ebp
    004100C2: rvm_38 = esp
    004100C9: push esi
    004100D5: push edi
    004100F6: [rvm_38 + 0xFFFFFFFC] = 0
    00410111: eax = [rvm_38 + 0xFFFFFFFC]
    00410131: rvm_34 = [rvm_38 + 8]
    00410167: eax = [eax * 4 + rvm_34]
    00410186: rvm_10 = [rvm_38 + 0xFFFFFFFC]
    004101A6: edi = [rvm_38 + 8]
    004101EC: rvm_08 = [rvm_10 * 4 + edi + 4 + eax]
    0041021C: eax = [rvm_38 + 0xFFFFFFFC]
    0041023C: rvm_10 = [rvm_38 + 0x0000000C]
    00410278: [eax * 4 + rvm_10] = rvm_08
    00410292: rvm_34 = [rvm_38 + 0xFFFFFFFC]
    0041029C: eax = rvm_34 + 1
    004102D4: [rvm_38 + 0xFFFFFFFC] = eax
    004102EF: edx = [rvm_38 + 0xFFFFFFFC]
    0041030F: eax = [rvm_38 + 8]
    0041032F: rvm_18 = [rvm_38 + 0xFFFFFFFC]
    0041034F: eax = [rvm_38 + 8]
    00410385: rvm_3C = [edx * 4 + eax]
    00410466: edi = and ~and ~rvm_3C, [rvm_18 * 4 + rvm_24 + ~4], ~and rvm_3C, [rvm_18 * 4 + rvm_24 + 4]
    ...
    这是还原出来的 x86 代码。其中 rvm 是寄存器未推断出结果导致的。完美还原的代码会形成 完整的 x86 指令。
    该工具是少见的可以将 VMProtect 保护代码进行完整还原的工具，缺点是稳定性太差，对于稍复杂的程序，还原过程很大可能会出现异常报错。
    根据工具的说明，似乎是应该支持 Code Virtualizer的。测试成功还原 Code Virtualizer 1.3.8 版本未成功。
    Oreans UnVirtualizer
  • 针对目标：Oreans系列 Code Virtualizer / Themida / WinLicense
  • 类型：Ollydbg 插件
  • 开发者：Deathway
  • 功能：Oreans 保护下的 x86 代码还原
  • 最后更新时间：v1.8 2014/02/04

    可以支持 Oreans 系列保护工具早期版本的 x86 还原。但对新版本的 FISH/TIGER 等系列虚拟机效果不佳。
    使用：在虚拟机入口，右键分析，如果还原成功会弹出还原代码的文本文件。
    如下是对 Code Virtualizer v1.3.8 代码还原的结果示意。 如果还原成功则与原代码基本一致（对CISC体系效果较好）。
    ...
    @Label_00409223
            00409252        MOV DWORD PTR [EBP+0xfffffffc],0x0
            00409263        MOV EAX,DWORD PTR [EBP+0xfffffffc]
            00409281        MOV DWORD PTR [EBP+0xfffffff8],EAX
            00409291        JMP 0x4c
    @Label_00409297
            00409297        MOV ECX,DWORD PTR [EBP+0xfffffff8]
            004092AC        ADD ECX,0x1
            004092C3        MOV DWORD PTR [EBP+0xfffffff8],ECX
    @Label_004092E2
            004092E2        MOV EDX,DWORD PTR [EBP+0xfffffff8]
            004092F2        CMP EDX,DWORD PTR [EBP+0xc]
            0040930A        JNB 0x7b2
            0040930F        MOV EAX,DWORD PTR [EBP+0xfffffff8]
    ...
    VMAttack
  • 针对目标：VMProtect
  • 类型：IDA 插件
  • 开发者：anatolikalysch
  • 功能：VMProtect伪代码还原、动静态分析
  • 链接：https://github.com/anatolikalysch/VMAttack
  • 最后更新时间：2017

    从官方 demo 上看，应该只支持去混淆的 VMProtect demo 版。
    2016 IDA插件大赛第2名
    相关论文：Kalysch A, Götzfried J, Müller T. VMAttack: Deobfuscating Virtualization-Based Packed Binaries[C]// The, International Conference. 2017:1-10.
    VirtualDeobfuscator
  • 针对目标：通用类(?)
  • 类型：Python脚本
  • 开发者：jnraber
  • 功能：Trace化简
  • 链接：https://github.com/jnraber/VirtualDeobfuscator
  • 最后更新时间：2013

    2013 年 Blackhat视频：  https://www.youtube.com/watch?v=hoda99l5y_g  
    其他
    VMP 1.7 完整还原
    http://bbs.pediy.com/thread-155215.htm
    VMP Handler 分析插件 https://github.com/OoWoodOne/VMP_ODPlugin
    Zeus--VMProtect分析及自动脱壳插件 by ximo http://www.52pojie.cn/thread-129047-1-1.html
    VMP调试器
    https://github.com/uvbs/VMPDBG2
    CV 反编译
    https://github.com/pakt/decv
    Code Deobfuscator
    https://forum.tuts4you.com/topic/37952-code-deobfuscator/
    https://github.com/Pigrecos/CodeDeobfuscator
    （这些工具我没有具体试用，不敢妄做评价，有兴趣的同学可以试用下并留言使用效果及说明）
    文章篇
    会议PPT

  • KCon 2016 - VMProtect 的一次奇妙之旅 by 何潇潇

  • SecurityDay 2015 - Inside VMProtect by Samuel Chevet

  • CSAW 2016 - How Triton can help to reverse virtual machine based
    software protections by Jonathan Salwan

  • BlackHat 2013 - Removing virtualization obfuscations from malware – a DARPA Cyber Fast Track funded effort by Raber

  • 中国软件安全峰会 2009 - VMProtect的逆向分析和静态还原 by Bughoho

  • CARO 2008 - Dealing with Virtualization packer by Boris Lau

    学术文章
  • Xie, H., Zhang, Y., Li, J., & Gu, D. (2017). Nightingale: Translating Embedded VM Code in x86 Binary Executables. Information Security.
  • Video: https://www.youtube.com/watch?v=Owni02VD1JM&index=62&list=PLo8TkAG2ez595_Lie4rhjLL_oN5vLMWVa
  • Yadegari, B. and S. Debray (2015). Symbolic Execution of Obfuscated Code. ACM Sigsac Conference on Computer and Communications Security: 732-744.
  • Yadegari, B. and B. Johannesmeyer, et al. (2015). A Generic Approach to Automatic Deobfuscation of Executable Code. IEEE Symposium on Security and Privacy.
  • Kinder, J. (2012). "Towards Static Analysis of Virtualization-Obfuscated Binaries." Proc.working Conf.reverse Engineering: 61-70.
  • Coogan, K. and G. Lu, et al. (2011). Deobfuscation of virtualization-obfuscated software: a semantics-based approach. ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, Usa, October.
  • Rolles, R. (2009). Unpacking virtualization obfuscators.
  • Sharif, M. and A. Lanzi, et al. (2009). Automatic Reverse Engineering of Malware Emulators. IEEE Symposium on Security and Privacy.

    其他

  • 2018年 FinSpy VM 分析及代码还原系列 by Rolf Rolles（该作者有十年以上的VM保护的研究经验，非常值得一读）

  • A WALK-THROUGH TUTORIAL, WITH CODE, ON STATICALLY UNPACKING THE FINSPY VM: PART ONE, X86 DEOBFUSCATION

  • FINSPY VM PART 2: VM ANALYSIS AND BYTECODE DISASSEMBLY

  • FINSPY VM UNPACKING TUTORIAL PART 3: DEVIRTUALIZATION

  • FinFisher VM分析 白皮书

  • ZeusVM analysis - Miasm's blog

  • 汇集所有能帮助你对抗强壳的知识（VMP、SE、THEMIDA、Enigma）

  • VMProtect 2.06全过程分析 by hkfans

  • Themida 1.2.0.1 全过程分析        by hkfans

  • Themida 1.9.1.x CICS Processor VM 简单分析 by softworm

  • 人肉某CM-VMP2.13.8 Vmcode (可视化) by Sound

  • VMProtect 逆向分析 by aalss2

  • VMSweeper 分析 by aalss2

  • VMProtect 学习 by OoWoodOne

  • Inside Code Virtualizer by scherzo  February 16  2007

    工具, 插件

    • 相关帖子

    ODU   

    感谢分享                                    
    Cr4ckm3
    OP
      


    wekabc 发表于 2018-3-19 12:09
    新的VMP会在多个虚拟机里来回切，稿出N多套指令集出来，貌似就没啥好办法了
    VMP 3.x 整体虚拟机 dispatch 的结构变了 是一种链式结构  不过也是有处理方法的 后面有时间会分享一下
    丶老衲徒伤悲   

    感谢楼主整理分享，有时间学习下
    fjqisba   

    很棒的整理，楼主辛苦！
    ScareCrowL   

    好久没学习了
    O-NE   

    MARK一下
    秀策   

    感谢楼主整理，MARK下
    绝恋人间   

    谢楼主分享
    秀策   

    mark一下，我觉得虚拟机暂时还用不上
    下一页 »
    12下一页
    返回列表
    您需要登录后才可以回帖 登录 | 立即注册

    AD1

    热门主题

    热门板块

    问与答分享发现分享创造奇思妙想分享邀请码商业推广优惠信息PythonPHPJavaJavaScriptNode.jsGo语言C++HTML

    公告

    标签|小黑屋|Yoo趣儿

    GMT+8, 2024-9-20 05:32 , Processed in 0.130427 second(s), 13 queries , Gzip On, MemCached On.

    Powered by Discuz! X3.2

    The happiest thing in the world is to strive for an ideal.

    返回顶部