静态分析工具相关论文
为了提高软件的测试质量和效率,在软件测试中越来越多的测试工具被应用进行软件自动化测试.本文提出了一种基于静态分析工具QAC对......
程序静态分析是软件安全脆弱性检测的重要手段。现有的静态分析工具各具特色。本文提出基于系统建模、属性描述、检测过程和结果验......
整数溢出是缓冲区溢出的一种,它可以被利用来导致用户权限的提升等安全问题.Linux内核是Linux系统和Android系统安全保障的基......
为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷......
综述静态程序分析的方法和工具。采用系统化文献评价方法和文献计量分析方法,通过论文的收集、筛选、内容提取等过程,对大量论文的......
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析......
作为程序源码漏洞检测的重要方法,静态代码分析技术一直活跃在代码分析领域的前沿。本文首先对近年来静态代码分析技术 的研究现状......
为了加快软件测试的速度,减少人力投入,可以采用测试自动机对软件进行自动测试.测试自动化静态分析工具是一种软件,可以利用它对程......
随着互联网技术的发展,开源软件已经已经在全世界的范围内大获成功,开源软件在越来越多的领域扮演了相当重要的角色。同时开源软件......
在软件开发过程中,遵守编程规则不仅可以使代码简单一致,减少代码的缺陷,还可以提高代码的可读性,便于团队协作开发以及后期维护。......
软件复杂性和扩展性的不断增大使软件安全问题日渐突显。利用静态分析工具可以方便高效地发现软件的安全漏洞。首先对常用的静态检......