论文部分内容阅读
分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足，将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学问题，设计了基于不等式组求解的缓冲区溢出检测模型。新方法克服了一般方法的不足，可以实质性地提高缓冲区检测的效率。
一种基于不等式组求解的缓冲区溢出检测
【摘 要】
：
分析了基于静态代码分析的缓冲区溢出检测的一般方法的不足，将基于源代码分析的缓冲区溢出检测问题转化成为一个不等式组求解的数学问题，设计了基于不等式组求解的缓冲区溢出检
【机 构】
：
北京邮电大学信息安全中心,江西上饶师范学院
【出 处】
：
核电子学与探测技术
【发表日期】
：
2007年6期
【基金项目】
：
国家重点基础研究发展计划（973项目）（编号：2007CB310704）资助.
其他文献
针对目前传统瓦斯传感器的成本高、灵敏度低和稳定性差等问题,基于甲烷气体的近红外吸收光谱的特性,提出了运用高性能的微控制器(DSP)的方法来解决此问题,实现了对甲烷气体浓度高灵敏度、高稳定性和高精度的测量,对煤矿安全生产中的瓦斯事故预防意义重大。
描述了一套改进了的利用于激光多步共振电离谱学研究的实验装置和技术。在此技术中，利用加热蒸发的方式产生高温难熔元素的原子流；对激光功率和中性原子流进行实时监测,对测量