About CODESECURE, INC.
AdaCore is a company specializing in high-integrity software development and application security testing, formed through the 2025 merger with CodeSecure. The company offers tools and services for building safe, secure, and reliable software in Ada, SPARK, C/C++, and Rust.
High-integrity software developmentApplication security testingStatic analysis for Ada, C/C++, and RustDynamic analysis for C/C++Formal proof and verification using SPARKTraining and mentorship servicesDevSecOps strategy support
Recent Federal Awards
| Award | Agency | Amount | Date |
|---|---|---|---|
| THIS IS A FIRM FIXED PRICE CONTRACT FOR PROCUREMENT OF CODESONAR SOURCE CODE AND BINARY ANALYSIS CUMULATIVE ME | Department of Defense | $208K | |
| RENEWAL CODESONAR SUBSCRIPTION LICENSES | National Aeronautics and Space Administration | $60K | |
| RENEWAL OF CODESONAR SOFTWARE | National Aeronautics and Space Administration | $60K | |
| RENEW CODE SONAR | National Aeronautics and Space Administration | $49K | |
| CODE SONAR RENEWAL | National Aeronautics and Space Administration | $45K |
Is this your company?
Claim this profile to keep it accurate — and see the federal & state opportunities GovIntel's AI has matched to CODESECURE, INC. 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.