基于传播引擎的指针引用错误检测

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13％,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.     

辉绿岩石辊

辉绿岩是理想石辊材料,能克服花岗岩石辊有时夹杂长石的弊端。其价格比铸钢辊和不锈钢辊低,耐酸碱、生产纸质高的优点、得到广泛应用。由惠安县辉绿岩厂与福建省造纸工业公司研究所的协作联合研制,于1992年通过省级鉴定并获得福建省优秀产品三等奖。辉绿岩石辊改变石辊端面的传统阶梯结合为单斜面结合,轴端面受力面积可达80～85％,比传统设计增加1.1～1.6倍,使辊体和轴结合更紧密、合理有效地解决石辊运行中易松、易爆、易裂等弊端。产品技术指标:同心度<0.03、锥度<0.06/1000、椭圆度<0.015、辊面光洁度>(?)1.6。可代替铸铁     

基于包含的指针分析优化技术综述

指针分析是程序分析和编译优化的基础,针对基于包含的指针分析算法的改进一直是指针分析领域研究的热点之一.文中从该指针分析算法改进的两类技术来总结近二十年来相关的研究工作,包括在线优化技术如约束图上的强连通分量的检测和消除等和离线优化技术如变量替换等.通过实验对比了7种较有影响力的分析算法和三种离线优化算法,并从性能、内存...     

车用高强钢薄壁构件碰撞性能研究

基于台车正碰试验的响应数据,运用有限元软件对台车双筒模型进行正面碰撞仿真与分析。从薄壁的形变模式、加速度与能量曲线变化为响应指标来入手,研究了仿真与试验之间存在的误差。以提高模型的仿真精度为目标,研究考虑应变率效应对碰撞响应的影响,并与不考虑应变率和实车试验进行形变模式、加速度曲线进行对比。最终结果表明:在加速度峰值和薄壁变形折叠的次数来看,考虑应变率效应明显优于不考虑应变率的。     

巧夺天工——惠安彩雕

福建惠安影雕工艺起源于黑白雕或称钻黑白,许多古寺庙、古建筑尚保留有这类作品。影雕工艺虽出自惠安巧匠之手古已有之,但传统的石雕工艺中“黑白雕”一直未被重视和发掘,沉睡了不少年代。这一艺术,直至1968年间,惠安石雕厂工人发自对伟大领袖毛泽东的热爱,建立了一个影雕创作组,在老师傅     

一种基于最小调试边界的断点自动生成技术

时至今日,调试仍然占据软件开发过程中近70%的时间;以断点的设置和检查为基础的传统交互式调试依旧是实际工作中最常用的错误定位手段.日常调试过程中,断点的选择和调试的效率主要依赖于调试人员自身的经验以及对所调试程序的理解程度.提出一种基于最小调试边界的断点自动生成方法.最小调试边界描述了一个由程序执行轨迹上一组轨迹点构成的结合.该集合具有对错误传播的阻隔性,以及所对应的程序状态规模最小化的特征.受益于最小调试边界(minimum debugging frontier set,简称MDFS)的错误阻隔性,一旦查明其上的程序状态是否符合设计预期,即可确定错误触发位置与该MDFS在程序执行轨迹上的先后顺序,将错误触发的范围限定在MDFS的一侧.而状态规模的最小化也减轻了用户检查断点处语句实例的开销.为评价断点质量,还制定了一组断点评价标准,用于考量断点与程序失效之间的关联性、断点本身的易判性以及对调试收敛的帮助.实验结果表明,采用该方法生成的断点具有检查开销低、加速调试收敛等优势;采用所提供的断点的调试流程,与基于经典错误定位方法的流程相比,能以更低的人工开销定位更多的错误.