The AdaCore Blog
An Insight Into the AdaCore Ecosystem
Sep 22, 2026
Kyriakos Georgiou, Paul Butcher
Breaking the Triage Bottleneck: When GNAT SAS meets GNAT DAS
Stop debating false positives. GNATfuzz hot-spot fuzzes exactly what GNAT SAS flags, delivering proof for Ada/SPARK safety-critical code.
Read More
Mar 22, 2010
Gem #82: Type-Based Security 1: Handling Tainted Data
Mar 08, 2010
Gem #81: GNAT Semaphores
Feb 25, 2010
Gem #80: Speedy Shift and Rotate in SPARK
Feb 08, 2010
Gem #79: Where did my memory go? (Part 3)
Jan 25, 2010
Gem #78: Where did my memory go? (Part 2)
Jan 11, 2010
Gem #77: Where did my memory go? (Part 1)
Dec 14, 2009
Gem #76: Tokeneer Discovery - Lesson 6
Nov 30, 2009
Gem #75: Tokeneer Discovery - Lesson 5
Nov 16, 2009
Gem #74: Tokeneer Discovery - Lesson 4
Nov 02, 2009
Gem #73: Tokeneer Discovery - Lesson 3
Oct 19, 2009
Gem #72: Tokeneer Discovery - Lesson 2
Oct 05, 2009