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.