到达-定值相关论文
二进制程序数据流静态分析首先将被分析的程序转换成数据流描述标记,确定每个基本块的输入、输出定值集合,结合程序控制流图,建立......
通过数据流分析将程序转换成数据流描述标记，结合数据流到达一定值分析，确定每个基本块的输入、输出定值集合，推导出函数输入与输出间......
