static single assignment的意思|示意

静态单一指派 c．Gotlieb采用方法 埘约束求解的方法生成测试数据，利用“静态单一指派”（Static Single Assignment）和控制依 赖，将被测程序转化成一个约束系统，然后寻找经过给定语句的路径，生成相应的测试数据。

分配 该算法依赖于静态单一分配（Static Single Assignment，SSA）形式。这一做法的另外好处是提供一个简化了的数据流分析与较短的动态时间间隔，这样取得了在编译时间与程序...

使用静态单分配 HIR使用静态单分配(static single assignment, SSA)形式来代表代码值，这是为了使发生在IR构造期间和之后的一些优化更容易。

赋值 数据流分析使用静态 单赋值（Static Single Assignment, SSA）分析和 符号执行取代传统的定义- 使用链（def-use chain）分析。