program analysis for machine code - View it on GitHub