关于SMT的编译

软件的强度有所增加年份。基于已成为标准工业界和近的论文还表明，的注入是在编译器别完成的。启东SMT贴片加工我们讨论了通用的去混淆和重新编译的方法基于编译器框架LLVM的混淆代码。我们展示如何将二进制代码增加到编译器中间语言LLVM-IR并说明我们如何恢复控制流具有迭代控制流的模糊二元函数的图形编译器优化的图形构造算法以及可性模理论求解。我们的方法不会对混淆代码做出假设，但是而是使用LLVM中可用的编译器优化，简化了混淆处理。我们的实验结果表明，这种方法可以减弱至诸如常量之类的混淆展开，某些基于算术的不透明表达式，死代码，伪造的控制流或在公共场合发现的整数编码和商业混淆器。恢复的LLVM-IR可以进一步由自定义反混淆处理处理，现在应用于与注入的混淆相同的别或重新编译与可用的LLVM后端之一。呈现的作品是在称为SATURN的反混淆工具中实现。关键字逆向工程，代码增加，混淆，反混淆，静态软件分析，二进制重新编译，二进制重写