您如何优化AST或将其转换为真实语言

一段时间以来，我一直对自动漏洞评估和代码反编译感兴趣。结果，我一直在用Python构建解析器，该解析器读取bin，在跟踪执行时（IDA这样做）逐条指令分解指令。

我一直在跟踪被污染的寄存器（已污染就像在用户输入中一样）来检查这些寄存器何时允许我们设置呼叫或跳转。

这项研究已经发展到了我想要将其转换为反编译器的地步。我看了回旋镖和其他开源反编译器。我还快速浏览了龙书（我不拥有它）。我想听听你们对这个想法的看法。下面是我的概述：


打开二进制文件进行反编译。
检测文件类型（PE或ELF）以选择EP和内存布局。
跳转到拆卸时遵循EP并遵循代码的执行路径。
我使用udis86。这种执行以一种libemu的方式进行。
将生成的程序集解析为一种中间语言。要获得更简单的说明，（例如，请始终删除类似SHL EAX, 0x02的内容，并
将其更改为MUL指令）。
将其解析为抽象语法树。
优化AST（尽管我不知道如何）。
将AST转换为类似C的文件。

我在最后两个步骤中遇到了问题。有人如何将AST解析为真实的语言或类似的语言？您如何优化AST？是否有构建C或Python库来完成它？