通过分析软件代码中变量的取值变化和语句的执行情况，来分析数据处理逻辑和程序的控制流关系,从而分析软件代码的潜在安全缺陷的技术是(