论文部分内容阅读
本文介绍了基于控制流分析的软件源代码静态测试技术,并实现跨语言支持的静态测试引擎。通过推断源代码中变量间的关系,分析其实际特征,从而对源代码可能存在的缺陷错误进行扫描。采用本文描述的静态测试技术,可以减少代码缺陷误报,并提高缺陷检测的效率。
基于控制流分析的软件源代码静态测试技术的研究
【摘 要】
：
本文介绍了基于控制流分析的软件源代码静态测试技术,并实现跨语言支持的静态测试引擎。通过推断源代码中变量间的关系,分析其实际特征,从而对源代码可能存在的缺陷错误进行
【机 构】
：
南京市建筑职工大学,南京优测信息科技有限公司
【出 处】
：
科学大众：科学教育
【发表日期】
：
2016年6期
其他文献
【摘要】2020年的新冠肺炎疫情使中国图书出版业面临前所未有的突破和变局。某种意义上，这是一次图书出版产业的全面转场、升维创新之旅。以链接、赋能和跨界为核心，中国图书出版业态和整体思维方式出现颠覆式变革。后疫情时代，中国图书出版业的转型之旅不会止步，需从制度建构、内容策划、盈利模式、技术革新等方面入手，破解升维创新迷局，在数字化征程上不断迈进。 【关键词】新冠肺炎疫情 图书出版业 升维 创新
红曲霉(Monascus)在我国已有一千年多的应用历史,其代谢产物红曲色素具有安全性高、着色力强、营养丰富的特点。但由于同时产生的桔霉素对人体健康所造成危害毒性的问题,使红
锦屏县盛产西兰花,近年来该县开展了精准扶贫活动,同时在乡村振兴战略实施下,西兰花种植生产行业获得了迅速的发展,种植规模不断扩大且经济效益不断提升,二者均取得了良好的
道路交通安全是一个公共的安全问题,每年因交通事故死亡的人数在所有安全事故导致的总死亡人数中占比最高。随着大数据智能分析技术的发展,广泛利用交通数据朔源事故原因,有
双目立体视觉模型通过模拟人眼可以实现对目标距离的测量。为了获得水上船舶实时的运动状态,提出了一种基于双目立体视觉的船舶轨迹跟踪方法。首先,通过摄像机标定、线性空间点三维重建可以测得以相机为中心到船舶的距离,得到船舶的部分运动轨迹;其次,在双目立体视觉测距系统的基础上采用常速(Constant Velocity,CV)模型的方法对船舶运动建模;最后,对建立的船舶运动模型利用强跟踪卡尔曼滤波(Stro
伴随着全球化经济迅速发展,以ESP为导向的国际化专业英语已成为各个行业重点关注对象。在这种社会趋势下,高师作为专门用途英语人才培养主要基地,创新英语课程教学模式,切实
体育游戏作为体育教学实施的一种有效形式,在教学实践中起着越来越重要的作用。通过对体育游戏的特点与作用、体育游戏的创编原则、教学原则进行分析研究,探讨了体育游戏的组