彙編語言的靜態代碼分析

Question

是否有任何開源工具或庫用於簡單自定義彙編語言（用於自動生成的程序）的靜態代碼分析以及它們的功能是什麼（檢測未使用的代碼/寄存器，給出高代碼段的級別表達式，調用圖等）？該領域中存在哪些算法？

Answer 1

以下是一段時間以來一直在我的書籤中的鏈接：我打算深入瞭解一下，但我從未找到時間：Vine/Bitblaze。