SSA（Single Successor Assignment）判定方法是一种用于分析程序中变量赋值的方法。它主要用于分析程序中的控制流图（Control Flow Graph，CFG），以确定每个变量的唯一后继节点，从而确定变量在程序执行过程中是否会出现多次赋值的情况。
SSA判定方法通过对程序中的控制流图进行遍历和分析，构建一个新的变量赋值图（Variable Assignment Graph，VAG），该图只包含每个变量的唯一后继节点。在VAG中，每个变量的唯一后继节点被表示为一个节点，该节点的父节点为该变量在VAG中的起始节点。如果一个变量在VAG中有多个后继节点，则该变量在VAG中对应的节点将有多个父节点。
通过SSA判定方法得到的VAG可以用于优化程序，例如消除冗余计算、减少存储空间等。