Kestrel Technology

Closed
3260 Hillview Ave Fl 2
Palo Alto, CA 94304

Kestrel Technology, based in Palo Alto, CA, focuses on enhancing software safety through abstract interpretation. Their products include CodeHawk analyzers, which offer tools for binary analysis and source code verification, particularly aimed at identifying memory safety vulnerabilities in C language software.

As a Silver Partner of Wind River, Kestrel Technology has recently released the CodeHawk-C Memory Safety Analyzer, designed specifically for embedded system and mission-critical system developers. This innovative tool provides a systematic method for demonstrating the absence of memory safety vulnerabilities in C source code.

Generated from the website

Own this business?
See a problem?

You might also like

United StatesCaliforniaPalo AltoKestrel Technology

Partial Data by Foursquare.