Kestrel Technology LLC
We perform applied R&D in computer science to solve problems in software verification, reverse engineering, and malware analysis. Look for our commercial products available by subscription soon at www.staticanalyzer.com. Specialties.static analysis, malware analysis, abstract interpretation, and software verification.