利用符號執行去除控制流平坦化

1. 背景   1.1 控制流平坦化   控制流平坦化(control flow flattening)的基本思想主要是通過一個主分發器來控制程序基本塊的執行流程，例如下圖是正常的執行流程    經過控制流平坦化後的執行流程就如下圖    這樣可以模糊基本塊之間的前後關係，增加程序分析的難度，同時這個流程也很像VM的執行流程。更多控制流平坦化的細節可以看Obfuscating C++ progra

>>阅读原文<<