随着互联网的应用与普及，网络安全问题成为人们关注的焦点。在已知的网络安全漏洞中，跨站攻击，SQL注入式攻击以及由整数溢出引发的缓......

　　整数溢出是缓冲区溢出的一种,它可以被利用来导致用户权限的提升等安全问题.Linux内核是Linux系统和Android系统安全保障的基......

我公司水泥粉磨系统采用的是SIEMENS(西门子)控制系统,编程采用S7-400梯形逻辑编程.本系统投运已将近三年,基本稳定,生产一直正常.......

随着Java应用越来越广泛，与Java相关的脆弱性问题也越发突出，为了提高Java软件的安全性，对Java程序中的脆弱性模式进行了研究．应用了分......

面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法（dynamic automatic integer-overflow detection and testing......

在研究整数溢出产生原因的基础上，提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法该方法将整数溢出检测问题抽象为......

为了防止由整数溢出引起的缓冲区溢出，提出了一种简化的基于路径松弛的整数溢出检测方法．表示动态分配缓冲区大小的整型变量发生溢出......

随着信息技术的发展,各式各样的软件应用到现代社会的方方面面。由于软件规模不断膨胀、运行环境更加复杂和功能更加多样,如何保障......

提出了基于整数区间和控制依赖图,通过静态分析来检测C语言源代码中安全漏洞的新方法.该方法在引入整数区间概念及其运算规则的基......

整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,......

依据整数溢出漏洞特征,该文在对220个实际整数溢出漏洞分析的基础上提出了3种检测策略来缓解静态分析技术的高误报问题。结合静态......

Linux系统中的驱动漏洞已经被证实是内核中漏洞的主要来源。由驱动漏洞所造成的系统崩溃等安全问题，已经成为系统安全性面临的重大......

受限于不完备的函数调用图分析和路径可达性分析，当前静态整数溢出检测工具存在较为严重的误报情况。为解决这一问题，以源代码中外部......