静态代码分析相关论文
代码质量决定了软件的开发、维护成本。高质量的代码,具有可维护性高、鲁棒性强、扩展性好等特征,能够减轻大量开发者的时间和精力......
程序理解活动是软件维护工作中的一个重要步骤。然而由于不完整文档和系统本身的复杂性,程序理解活动往往会耗费软件维护人员大量......
Android的流行性和开放性为移动应用开发创造了广阔的机会,但与此同时Android市场中大量的恶意应用给Android用户的隐私、财产安全......
随着软件系统应用领域不断扩大,对于软件和信息系统的攻击日益增多,人们对软件安全的要求不断提升。为此,在软件开发和测试过程中,......
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分......
C代码中的释放后重用缺陷严重影响着嵌入式系统的鲁棒性与可靠性。针对此类漏洞的现有检测方案多针对于计算机系统及应用程序,无法......
摘要：软件可视化是可视化分析的一个特殊应用领域，涉及图形工具和表示所介导的软件交互分析。由于有限的成熟度，软件可视化在业内并没......
对非结构化的程序代码进行理解分析对代码理解能力不强的测试人员存在一定难度。为了减轻静态代码分析的难度,本文首先采用程序切......
为了使开发者能安全准确地使用第三库接口,库设计者提供了各种类型的安全提示(安全规约),进而保护应用程序免受因库函数的误用而造......
在研究整数溢出产生原因的基础上，提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法该方法将整数溢出检测问题抽象为......
分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足，将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学......
摘要：该文介绍了当前静态代码分析的概念和主流工具，并以Java代码分析工具FindBugs为例，详细描述了这个工具的特点，使用方法，从而引导开......
对源代码进行安全检查就是在程序运行之前通过分析源程序发现潜在的安全缺陷.该文分析了C语言源程序中可能发现的安全问题,介绍了......
在现代软件工程中,代码安全成为人们不容忽视的问题,为了保证代码安全,一系列代码分析方法被提出。但过程间分析还存在很多不足,如......
随着LTE网络的迅速发展与移动智能终端的广泛普及,无线宽带通信已经深入人们生活的方方面面。与此同时,移动通信与生活生产的紧密......
Linux内核中的编译选项为内核提供了功能定制的可能性,但从传统静态代码分析的角度较难获得编译选项的改变对软件代码实际的影响。......
静态代码分析技术是一种常用的静态白盒测试技术,利用它可有效地发现逻辑设计与编码中30%-70%的缺陷。文章介绍了静态代码分析技术......
随着项目的复杂度日趋复杂，设计及实现的重构日趋频繁。项目对质量管理的要求也越来越高。项目质量管理所涉及的内容是多方面的，本文......
Android应用商店作为下载Android应用程序的用户最受欢迎渠道之一,亟需采用有效的Android应用程序检测技术来组织管理庞大的应用,......
近几年来,导弹战术的技术性能指标日益提高,对使用环境的要求也越来越严格,弹载软件在具备了更好的实时性、可靠性和可重构能力之......
