Attempts at Anti-Control Flow Flattening for WASM
💡
原文英文，约4000词，阅读约需15分钟。
📝
内容提要
本文探讨了针对WASM的反控制流平坦化（CFF）技术，分析了函数func54_vodplay的逆向过程。通过使用wasm2c工具将WASM转换为C语言，并利用Angr进行模拟执行，识别有效代码块并建立块间映射关系。文章还提到AI在反混淆中的潜在应用，认为传统逆向工程技能可能逐渐被淘汰。
🎯
关键要点
- 本文探讨了针对WASM的反控制流平坦化（CFF）技术，分析了函数func54_vodplay的逆向过程。
- 使用wasm2c工具将WASM转换为C语言，并利用Angr进行模拟执行，识别有效代码块并建立块间映射关系。
- 反CFF的一般流程包括找出有效块、找出状态变量、建立有效块到有效块的映射关系以及修改控制流。
- 在处理func54_vodplay时，采用了针对性的经验算法，未实现通用算法。
- AI在反混淆中的潜在应用被提及，认为传统逆向工程技能可能逐渐被淘汰。
❓
延伸问答
什么是反控制流平坦化（CFF）技术？
反控制流平坦化（CFF）技术是一种逆向工程技术，旨在恢复被混淆的代码结构，帮助分析和理解程序逻辑。
如何使用wasm2c工具进行WASM到C语言的转换？
使用wasm2c工具可以通过命令`wasm2c -o h5_worker.c h5.worker.wasm`将WASM文件转换为C语言代码。
在func54_vodplay的逆向过程中，使用了哪些工具和方法？
在func54_vodplay的逆向过程中，使用了wasm2c工具进行转换，并利用Angr进行模拟执行以识别有效代码块。
反CFF的一般流程包括哪些步骤？
反CFF的一般流程包括找出有效块、找出状态变量、建立有效块到有效块的映射关系以及修改控制流。
AI在反混淆中的潜在应用是什么？
AI在反混淆中的潜在应用包括自动化分析和恢复被混淆的代码，可能会取代传统的逆向工程技能。
func54_vodplay函数的反CFF结果如何？
func54_vodplay函数的反CFF结果显示了其整体逻辑，去除了控制流平坦化的影响，使得代码更易于理解。
➡️
