汇编语言的静态代码分析

Question

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

Answer 1

以下链接一直存在于我的书签中：我本来打算深入研究它，但我从未找到时间：Vine/Bitblaze。