Resources
Browse a collection of resources designed to help you build safer, more secure software. Explore real-world case studies, technical guides, books, and the latest updates from the AdaCore blog.
Latest Blog Posts
Mark Hermeling
Your Compiler Is Part Of Your Software Supply Chain
Discover why your compiler counts as a supply-chain component under the Cyber Resilience Act, and how GNAT Pro delivers the SBOM, vulnerability monitoring, and certification evidence to prove it.
Mark Hermeling
Three Ways SPARK Catches Bugs Before Your Hardware Does
This blog explores how SPARK prevents mistakes and reduces the defects in your source code by up to…
M. Anthony Aiello
MARS Rover GNC
See how SPARK both helps with autonomy- and control-relevant problems on the Mars Rover and…
Mark Hermeling
How Language Design Impacts Security
In this blog we have created a table listing each CWE and/or CWE class, along with how each…
Case Studies
NASA Study Explores the Benefits of Static Analysis
NASA operates the Space Network, a mission-critical satellite telecommunications system that requires continuous, uninterrupted service. To improve…
How Autoliv Transformed Its Embedded Code Quality with CodeSonar®
CodeSonar allowed Autoliv, a leader in automotive safety systems, to centralize analysis results, manage priorities and justifications directly…
Starting Left: How eLeapPower Supports Continuous Innovation with Static Analysis
eLeapPower is an automotive technology company that develops advanced electric powertrain and charging systems for electric vehicles. To help meet…
