汇编语言的静态代码分析

Tho*_*mas 10 assembly code-analysis static-analysis machine-code

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

Pas*_*uoq 6

这是一段链接,已经在我的书签中停留了一段时间:我本来想深入研究它,但我从来没有找到时间:Vine/Bitblaze.