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?
+3
A:
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.
Pascal Cuoq
2010-08-23 08:04:13