We perform applied R&D in computer science to solve problems in software verification, reverse engineering, and malware analysis. We are in the process of open-sourcing all of our analyzers on GitHub. Check out http://github.com/kestreltechnology for the latest additions.