Sanitizers for Ada (GNAT User’s Guide for Native Platforms)

### 6.8 Sanitizers for Ada ¶

This section explains how to use sanitizers with Ada code. Sanitizers offer code instrumentation and run-time libraries that detect certain memory issues and undefined behaviors during execution. They provide dynamic analysis capabilities useful for debugging and testing.

While many sanitizer capabilities overlap with Ada’s built-in runtime checks, they are particularly valuable for identifying issues that arise from unchecked features or low-level operations.