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
Also at this address
See a problem?
You might also like
Partial Data by Foursquare.