SSA, or static single assignment form, is a property of an intermediate representation (IR) that requires each variable to be assigned exactly once. Additionally, each variable in SSA must be defined before it is used.