-
Notifications
You must be signed in to change notification settings - Fork 982
SlithIR SSA
Feist Josselin edited this page Feb 15, 2019
·
2 revisions
Slither possess a Static Single Assignment (SSA) form representation of SlithIR. SSA is a commonly used representation in compilation and static analysis in general. It requires that each variable is assigned at least one time. SSA is a key component for building an efficient data-dependency analysis.
The SSA printer allows to visualize this representation.