Security Hardening Features (GNAT Reference Manual) (original) (raw)

Next: Obsolescent Features, Previous: GNAT language extensions, Up: GNAT Reference Manual [Contents][Index]

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.

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