---

18 Security Hardening Features ¶

This chapter describes Ada extensions aimed at security hardening that are provided by GNAT.

The features in this chapter are currently experimental and subject to change.

These features are supported only by the GCC back end, not by LLVM.

• Register Scrubbing
• Stack Scrubbing
• Hardened Conditionals
• Hardened Booleans
• Control Flow Redundancy