路径敏感相关论文
在当前互联网环境下,Web应用非常广泛,Web安全问题也越来越严重。对于缺乏输入验证的Web应用来说,攻击者可以构造恶意输入,窃取用......
随着计算机的发展,软件的规模不断扩大,其复杂度也随之增加,程序并发执行已经成为提高程序工作效率的一种常用方法,而由并发程序引......
别名分析在提高数据流分析精度和构建性能良好的程序分析工具方面发挥着重要作用。本文在分析已有别名分析框架的基础上，提出并实现......
在定值引用错误中,错误源到达错误目标的路径往往很长且路径数众多,路径敏感检测分析的规模往往较大,特别是对大规模程序而言.为充......
路径敏感的缺陷检测方法其缺陷状态会关联当前控制流节点的所有数据流信息，由于其中包含与缺陷检测无关的数据流，因此会导致分析效率......
提出一种多项式复杂度的路径敏感静态缺陷检测算法．该方法采用变量的抽象取值范围来表示属性状态条件，通过属性状态条件中的变量抽象......
误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,......
提出一种基于属性模型的运行时错误静态分析方法．该方法将运行时的错误按照发生原因进行分类，提取每类错误的属性模式，对属性模式进行......
软件代码中的缺陷是导致软件故障和漏洞问题的主要原因。基于缺陷的软件测试技术可以分为动态检测技术和静态检测技术。静态检测技......
随着软件规模的不断扩大以及复杂度的不断增长,人们越来越关注软件的可信性问题.验证程序是否满足断言所描述的性质,是保证软件可......
为了更加精确高效地分析源代码中的内存泄露,针对内存泄露属性分析建模,通过多种途径对现有的方法进行改进。使用函数摘要的方法提......
随着信息技术的发展,软件的规模不断扩大,如何保证和提高软件质量成为软件界最为关心的问题之一。由于软件危机的频频出现,使得软......
应用静态污点分析检测Android应用的隐私泄露漏洞会产生许多虚警,为此提出一种上下文敏感、路径敏感和域敏感的半自动程序分析方法......
随着智能手机的普及,移动互联网已成为人们生活中必不可少的一部分。Android以其开放性的特点吸引了众多的应用开发者和手机用户,......
