关于SMT运行编译

基于算术的不透明表达式已不找到了代码，伪造的控制流和整数编码在强化的代码中，但也可以出现在未混淆的代码中。通常，在编译源代码期间，编译器会检测到并优化它们以获取可能的结果。提出的方法依赖于，因为增加代码的方式可能会优化程序以达到结果。所需的步骤是通用的，不依赖先验知识关于混淆器。如果不增亮，LLVM-IR将会起作用，但是在本文中，启东SMT贴片加工我们旨在达到香草1的状态表示解除功能。这包括原始功能的重建Remill特定增加功能的参数和转换基于State结构转换为干净的LLVM函数原始签名。一旦恢复了控制流程图并且对函数进行了模糊处理，所提出方法的目标之一就是重新编译并执行增加功能。由于选择作为作为增加后的二进制代码的目标语言，我们可以使用可用的后端之一将恢复的代码编译回二进制代码。我们能够运用我们的方法在当前较混淆上，以及部分击败中介绍的反符号模糊处理。我们的工作不光对模糊处理有用。实际上，这种方法还可以用于其他应用，例如模糊测试，例如动态符号执行引擎的输入，作为基于的混淆器的输入，以实现自动创建载荷以进行开发，如所示，或通常使用CPU重新编译二进制代码优化以增加应用程序的性能或引入新的基于编译器。这适用于没有源代码的应用程序可用。