【摘 要】
：
随着软件业的飞速发展，人们对软件质量的要求也越来越高．整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一．如何准确定位整数溢出错误是软件安全领域研
【机 构】
：
解放军理工大学指挥自动化学院,全军军事训练软件测评中心
【基金项目】
：
本课题得到国家“八六三”高技术研究发展计划项目基金（2009AA012402）、江苏省自然科学基金（BK2012059,BK2012060）资助.
论文部分内容阅读
随着软件业的飞速发展，人们对软件质量的要求也越来越高．整数溢出错误以其高危性和隐蔽性成为影响软件安全性和可靠性的重要因素之一．如何准确定位整数溢出错误是软件安全领域研究的热点．论文改进了现有错误定位模型，构建了整数溢出错误定位模型INTRank．实验结果表明：基于INTRank模型的语句可疑度估计方法可以较为准确地计算语句可疑度，使得程序员能够按照基于语句可疑度的优先级顺序检查源代码，找出导致整数溢出错误的原因，同时本文方法具有较低的漏报率．
其他文献
基于视觉的行为识别是人体运动分析的重要组成,也是该领域一个富有挑战性的研究方向,因此获得广泛的关注.该文将视频中的人体行为看成由每帧轮廓图像沿时间轴堆叠而成的三维空-时体积,提出一种新颖的局部二值模式,即体积语义局部二值模式(VSLBP),用于提取空-时体积中的有效低维特征,通过计算测试序列与已标记的行为训练集特征间的最近卡方距离得到其所属行为类别.在行为库"Weizmann"上实验结果表明,该文
随着我国畜牧业的迅速发展,饲料资源的短缺,合理开发利用青绿饲料显得尤为重要。本文就我国青绿饲料的利用现状及研究进展情况进行综述,拟为今后该领域的相关研究提供参考。
应用的需求促使如今的处理器必须尽可能高地利用程序中所存在的指令级并行度，然而，高指令级并行的硬件和指令调度技术会给寄存器资源带来极大的压力．要在单一寄存器堆的情况下，既
提出了一种有效显示隐藏特征的光线投射算法,无需调节复杂的传输函数,便可以有效地显示光线方向上被遮挡的感兴趣的特征.在沿光线方向遍历的过程中,采用低通滤波对光线上采样点的标量值进行平滑,以获得不受噪声干扰的、准确的特征点;根据特征点的深度信息调整当前最大的标量值,以获得能够满足隐藏特征显示的当前最大标量值;计算最大标量差,调整不透明度和颜色的累加值,以提高隐藏特征的可见性.实验结果表明,文中算法相对
本文综述了氢化物发生-原子荧光光谱技术产生的技术背景和原子荧光测定元素时应掌握的技术要点,并结合饲料样品检测分析,重点论述了利用原子荧光光谱技术测定样品中Pb、As、S
基于交叉检验思想的细粒度数据完整性检验方法在实现完整性检验的同时可以对少数错误进行准确和高效的隔离,从而避免因偶然错误或个别篡改造成整体数据失效的灾难性后果.针对
为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试的经验建议.文中的评估有助于基于FSM的测试方法在工业中的推广.
大华农2月10日晚间公告，公司近日与广东省珠海万山海洋开发试验区管理委员会签署了《建设万山海洋现代渔业专区战略合作框架协议书》。双方将紧密合作，对“陆－岛－海”统筹开发，利
2016年第三季度我国蛋氨酸市场呈现弱势下跌状态,国内蛋氨酸市场疲态尽显. 2016年国内蛋氨酸市场是产能集中释放、 竞争尤为激烈的一年,国内厂家不断扩产、产能不断释放,进口
12月8日，由新华社、CCTV-7、人民日报、北京电视台、中新社、央视网、北京晚报、中国饲料工业信息网、猪e网等媒体组成的记者团受正大集团蛋鸡生产基地邀请，来到位于北京平谷--