Stack safety is decomposed into integrity, confidentiality, and control-flow properties to ensure security in function activations.