static code analysis for assembly language

Question

Are there any open-source tools or libraries for static code analysis of simple custom assembly-like languages (for automatically generated programs) and what are they capable of (detecting unused code/registers, giving high-level expressions for code segments, call graphs etc.)? Which algorithms do exist in this field?

Answer 1

Here is a link that has been sitting in my bookmarks for a while: I have meant to take a deeper look at it but I never found the time to: Vine/Bitblaze.