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