qsynthesis

Qsynthesis QSynthesis 是一个 Python3 API，用于对位向量表达式执行基于 I/O 的程序合成。它旨在促进代码反混淆。该算法采用灰盒方法，结合了基于黑盒 I/O 的合成和白盒 AST 搜索来合成子表达式 如果根节点无法合成 。 该算法最初在 BAR 学术研讨会上被描述： QSynth: A Program Synthesis based Approach for Binary Code Deobfuscation （使用的基准测试可在此处获取：here） 该代码已作为以下 Black Hat 演讲的一部分发布： Greybox Program Synthesi...