-
-
[原创]使用污点分析符号执行暴力还原被vmp虚拟化保护的算法
-
-
[原创]使用污点分析符号执行暴力还原被vmp虚拟化保护的算法
aadK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6Y4K9i4c8Z5N6h3u0Q4x3X3g2U0L8$3#2Q4x3V1k6I4M7i4p5$3z5e0b7$3x3K6M7$3y4o6c8Q4x3V1k6$3L8i4m8Q4x3X3c8Q4x3X3c8Q4x3X3c8Q4x3X3b7`.
原理:
写一套需要要被保护的算法(已经测试过常用算法,均可正常还原),使用vmp虚拟化保护进行加密
记录所有vmp执行的指令,记录所有内存信息,用triton污点分析,检测是否到达汇点sink
如果污点分析没有到达汇点,证明模拟有错误,重新模拟
如果可以正常跑通污点分析,跑第二遍,使用符号执行还原被vmp虚拟化保护算法
[培训]《冰与火的战歌:Windows内核攻防实战》!从零到实战,融合AI与Windows内核攻防全技术栈,打造具备自动化能力的内核开发高手。