通过分析代码中输入数据对程序执行路径的影响，以发现不可信的输入数据导致的程序执行异常,这种技术被称为(    )传播分析技术。