About KESTREL TECHNOLOGY LLC
Kestrel Technology LLC develops software analysis tools using abstract interpretation and formal methods to improve software safety, focusing on embedded and mission-critical systems. They offer tools like CodeHawk for binary and C source code analysis.
Binary analysis for malware and reverse engineering (x86 and mips support)C source code analysis for memory safety vulnerabilitiesStatic analysis tools for embedded and mission-critical systemsAutomated software analysis with semantic understanding of programs
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| DARPA SBIR PHASE II FOR EFFORT ENTITLED, "BINARY ASSURANCE THROUGH PROOFS OF PROPERTIES" | Department of Defense | $1.4M | |
| Federal contract award | Department of Defense | $1.1M | |
| EFFECTS DRIVEN MULTI DOMAIN PLANNING | Department of Defense | $999K | |
| Federal contract award | Department of Defense | $224K | |
| Federal contract award | Department of Defense | $156K |
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to KESTREL TECHNOLOGY LLC right now.
Claim this profile See matched opportunitiesData compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Inaccurate? Let us know.