变量依赖相关论文
针对软件开发过程中,变量变更造成的缓冲区溢出检测成本高、效率低等问题,提出了一种基于数据拓扑的危险函数调用影响分析方法,从......
在总结污点分析研究现状基础上，给出了基于依赖的静态污点分析的形式化描述。提出并形式化定义跨方法的域变量和方法参数变量依赖关......
为了有效表示和分析软件中存在的安全缺陷和隐患,基于模型的软件安全分析技术采用多层次建模技术实现安全特征的描述,在评价软件及......
程序错误很多都是以变量值的错误表现并通过变量间的依赖关系导致错误的传播.而目前由编程工具提供的单步Debug的调试方法,很难对......
