GovIntel / MD / CODESECURE, INC.

CODESECURE, INC.

Government contractor · Bethesda, MD

8
Federal awards
$539K
Total awarded
2
Agencies
UEIF3XXATTWH1E1
CAGE9R3E5
SizeSmall business
SAM statusExpired 2026-05-29
Established2023

CODESECURE, INC. is a small-business federal government contractor based in Bethesda, MD. GovIntel has resolved 8 federal prime awards totaling $539K across 2 federal agencies. Most of that is with NASA (7 awards, $331K), then DoD (1, $208K). The company was established in 2023. No litigation, liens or adverse findings surfaced in the sources GovIntel checks. The itemized record — all 8 awards with amounts, descriptions and buying office and an estimate of its government revenue — is at https://www.govintel.ai/companies/md/codesecure-inc-1804860.

The full intelligence report on CODESECURE, INC. →

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

AwardAgencyAmountDate
THIS IS A FIRM FIXED PRICE CONTRACT FOR PROCUREMENT OF CODESONAR SOURCE CODE AND BINARY ANALYSIS CUMULATIVE MEDepartment of Defense$208K
RENEWAL CODESONAR SUBSCRIPTION LICENSESNational Aeronautics and Space Administration$60K
RENEWAL OF CODESONAR SOFTWARENational Aeronautics and Space Administration$60K
RENEW CODE SONARNational Aeronautics and Space Administration$49K
CODE SONAR RENEWALNational Aeronautics and Space Administration$45K
See all 8 awards with amounts & descriptions — in the full report 🔒 →

Agencies Served

  • NASA — 7 award(s), $331K
  • DoD — 1 award(s), $208K

What the awards don't tell you about CODESECURE, INC.

8 awards tell you CODESECURE, INC. has won work. They do not tell you whether the company is solvent, who controls it, whether a lender holds a charge over its assets, or whether it has been sued by the people it delivered to. The report checks each of those and names every source it checked, including the ones that came back clean — for CODESECURE, INC. that means financial footprint, itemized with the filing behind each fact.

Unlock the full record →

Unlock the full record on CODESECURE, INC.

No litigation, liens, corporate affiliates or adverse findings surfaced for this company. The report puts that in writing — every source checked and named — alongside registration standing and expiry, set-aside eligibility, and the full contract history. It also carries our estimate of their government revenue. No account needed.

Best value Unlimited research 15 days freethen $40/mo Look up any company, as often as you need, with the full dossier on every one. For anyone who does this more than once. Start free →

From $15. No account needed.

How this differs from a credit report

They get bought for each other and answer different questions. If yours is the first one below, buy the credit report — it does that better than we do.

The questionA traditional
credit report
A MiMi dossier
Will they pay my invoice in 30 days?YesNo
Payment behaviour & trade referencesYesNo
A credit score and recommended limitYesNo
Registered identity & addressYesYes
Insolvency, liquidation, strike-offYesYes
Secured charges & liens, by lenderSometimesYes
Litigation, each case linked to its docketNoYes
Debarment, exclusion, termination for defaultNoYes
Public-contract award history & who boughtNoYes
Owner graph — what else the principals controlSometimesYes
A written assessment framed to your decisionNoYes
Every claim traceable to the filing behind itNoYes

A credit report tells you whether to extend terms. A dossier tells you whether to enter the relationship at all — and what to verify first. We publish no score, because a rating is our judgement to defend and a filing is simply true.

Common questions about CODESECURE, INC.

Is CODESECURE, INC. a government contractor?

Yes. CODESECURE, INC. is a small-business federal contractor based in Bethesda, MD, with 8 federal prime contracts worth $539K across 2 agencies.

What does CODESECURE, INC. do?

CODESECURE, INC. is active in government contracting (primary NAICS code 513210).

Where is CODESECURE, INC. located?

CODESECURE, INC. is based in Bethesda, MD.

What is CODESECURE, INC.'s UEI or CAGE code?

CODESECURE, INC. is registered in SAM.gov with Unique Entity ID (UEI) F3XXATTWH1E1 and CAGE code 9R3E5.

Which federal agencies has CODESECURE, INC. worked with?

CODESECURE, INC.'s federal awards include work for National Aeronautics and Space Administration, Department of Defense.

More Companies in MD

Browse all companies in MD →

This is what buyers see when they look you up.

Primes, contracting officers and prospective partners find this page before they call CODESECURE, INC.. It is built from public records — you did not write it, and neither did your competitors. Claiming it verifies you as the owner and opens the full record MiMi holds, including the signals other people are reading about you.

See your full record

Free. Correct anything that is wrong.

Not the owner, or just need to fix outdated info? Update or remove this listing.

Data compiled from public government sources including SAM.gov, USAspending.gov, and state procurement records. Last verified against federal award records. Is this your business? Correct or remove this listing.

Building your dossier

Payment received. This takes about half a minute — you can stay on this page.