The algorithm operates by performing abstract interpretation of the code in SSA form.
アルゴリズムはSSA形式のコードに抽象解釈を実施することにより働く。