Our Company
Kestrel Technology (KT) is a research and development company located in Palo Alto, CA. KT is staffed by highly trained computer scientists, mathematicians, and engineers who share a vision for using sound mathematical foundations for assuring the highest level of software robustness, reliability and security.
Our Mission
Our mission is to develop software analysis tools that provide automated mathematical assurance of software correctness in a cost effective way, and to apply them to real world applications.
In particular, KT has been developing technology that can automatically prove the absence of targeted vulnerabilities in C source code (with projects underway to target Java and binary code).
Our “Next Generation” Software Analysis Tool: CodeHawk
KT is developing a very high precision, automated, customizable and tunable static source code analyzer called CodeHawk. For the first time, code developers and testers can use a low cost, automated tool to prove software correctness. For example, CodeHawk has been applied to a variety of open source C programs, to automatically measure the cyber security assurance level of the code against cyber attacks targeting certain critical vulnerabilities, such as buffer overflows.
Our Value Proposition to Customers
For certain targeted vulnerabilities, CodeHawk can measure and supply proof-based evidence to management and certifying authorities of software correctness, at a cost of 10% to 20% of the cost of applying manual formal method approaches.
Ideal Target Solutions for CodeHawk
- Measuring C source code for cyber security assurance level before deployment on government or commercial networks
- Hardening of C source code against specific targeted vulnerabilities by using CodeHawk vulnerability boundaries
- Analyzing C open source code to determine its level of cyber security assurance so it can be safely deployed
Partnering with Kestrel Technology
Please contact us if you are interested in:
- Contracting with KT to measure the cyber security safety level of C source code and provide proof-based evidence
- Contracting with KT to customize and tune the CodeHawk analyzer to your C source code to consistently achieve high assurance of code cyber safety
- Contracting with KT to get CodeHawk automatically generated feedback on vulnerability boundaries needed to harden your code against critical cyber security vulnerabilities
- Purchasing CodeHawk for use in independent or in-house labs to measure the cyber security safety level of C source code and provide proof-based evidence
