The Jakstab static analysis platform for binaries - View it on GitHub