Blog
An Insight Into the AdaCore Ecosystem
Mar 19, 2026
Kyriakos Georgiou
Hardware-Driven Security: Can CHERI Fix the "Blind Spots" of Software Testing?
This work combines fuzz testing with CHERI hardware. Unlike heuristic-based sanitizers, CHERI uses hardware-enforced capabilities - pointers with…
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