The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Nov 10, 2026
Mark Hermeling
Aligning With the EU CRA: Security Best Practices, and Where Static Analysis Fits
The EU Cyber Resilience Act is in force. How SAST, CI/CD and secure-by-design practices get embedded teams to CRA compliance.
Read More
Aug 07, 2012
Gem #131 : Type-Safe Database API - Part 3
Jul 23, 2012
Gem #130 : Type-Safe Database API - Part 2
Jul 09, 2012
Gem #129 : Type-Safe Database API - Part 1
Jun 25, 2012
Gem #128 : Iterators in Ada 2012 - Part 2
Jun 11, 2012
Gem #127: Iterators in Ada 2012 - Part 1
May 28, 2012
Gem #126 : Aggregate Library Projects
May 14, 2012
Gem #125: Detecting infinite recursion with GDB's Python API
Apr 30, 2012
Gem #124 : Scripting GPS for Static Analysis
Apr 17, 2012
Gem #123: Implicit Dereferencing in Ada 2012
Apr 10, 2012
Gem #122: Breakpoint Commands — Part 2
Mar 12, 2012
Gem #121 Breakpoint Commands — Part 1
Mar 12, 2012