静态分析技术相关论文
可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的......
现有的代码质量管理检测方式,难以辨别源代码中的漏洞,因此需研究静态分析技术在代码质量管理中的应用。静态分析技术根据检测规则......
数组访问越界是程序中常见的问题,给程序的执行带来潜在的安全威胁.针对该问题提出了一种基于抽象解释理论的程序静态分析技术,用......
目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄......
随着计算机软件技术的快速发展,由软件代码缺陷引起的安全问题也日趋严重。通过对静态分析技术以及静态检测工具的深入研究,针对当......
由于软件应用范围不断扩大,软件安全已经不限于虚拟空间,直接威胁到物理空间的安全,而且,供应链中的任何问题都会导致严重的危害。......
目前,漏洞挖掘技术在信息安全领域中日趋重要。文章从漏洞的概念出发,对漏洞挖掘的含义、作用以及主要技术进行了分析与探讨,并总结了......
随着计算机技术的飞速发展,软件安全缺陷也日益严重,软件测试也变得越来越重要。静态测试属于软件测试范畴,笔者对静态代码缺陷定......