Blog
An Insight Into the AdaCore Ecosystem
Dec 11, 2025
Mark Hermeling
MISRA for Memory Safety
MISRA is the top coding standard for C/C++ in embedded systems, but its full adherence is often impractical. Its rules can be split into three…
Read More
Apr 05, 2010
Gem #83: Type-Based Security 2: Validating the Input
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