assembly - 汇编语言的静态代码分析

Question

是否有任何开源工具或库可用于简单的自定义类汇编语言（用于自动生成的程序）的静态代码分析以及它们的能力（检测未使用的代码/寄存器，为代码段提供高级表达式，调用图ETC。）？该领域存在哪些算法？

Answer 1

这是一个在我的书签中放置了一段时间的链接：我本来打算更深入地研究它，但我从来没有找到时间：Vine/Bitblaze。