CodeSecure

CodeSecure provides industry-leading static application security testing (SAST) tools that help organizations identify and remediate vulnerabilities early in the development lifecycle. With deep expertise in software security and compliance, CodeSecure supports the highest assurance requirements across embedded and enterprise software systems. CodeSecure merged with AdaCore in 2025.
Contact Information
-
Bethesda, Maryland USA
Map Visit Website
vCard