Kestrel Technology is the commercialization divison of Kestrel Institute - a non-profit computer science research institute focusing on formal and knowledge-based methods for incremental automation of the software process. Kestrel's research efforts are applicable to the construction of the intelligent software design and engineering environment of the future that provides automated support for all activities in the software life-cycle. Kestrel has developed a static analyzer (called CodeHawk) which finds programming language errors. CodeHawk applies abstract interpretation techniques to achieve sound results, applying over-approximation to guarantee never missing a property violation. The firm also offers KT Advance, a C-language analyzer, which is a verification product designed specifically for memory safety properties. Lastly, the firm offers KT Transferal, a X86PE binary analyzer, tailored to malware analysis for Windows executables.
