基于开放编译的面向对象程序静态分析器

来源 :计算机应用研究 | 被引量 : 17次 | 上传用户:abcdefghijklmn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器Open C++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。
其他文献
采用水模实验研究了CAS-OB喷粉精炼工艺均混时间的变化情况.通过对各种条件下均混时间的测定,得到喷吹位置、浸渍罩的插入深度、顶渣对均混时间的影响.结论为:在一定的插入深度下
介绍了从含钛高炉渣中回收钛的绿色分离技术.该技术包括三个连续的单元操作过程:(1)促使渣中分散于各矿物相的钛组分选择性转移并富集于设计的矿物相-钙钛矿,实现“选择性富集”
转炉大补炉后冶炼第一炉钢时钢中磷含量容易偏高,有时甚至超出钢种要求的磷含量上限.结合某厂90t转炉大补炉后冶炼第一炉钢时的生产情况,分析了入炉铁水硅含量、脱磷剂加入量
在透射电镜实验结果的基础上,提出了Bi-2212相向Bi-2223相转变的位错管扩散机制模型.根据固体扩散相变理论结合位错动力学公式,计算了在高温下Bi-2223相形核所需要的能量和生长
焚烧是目前垃圾处理的主要方式之一,但垃圾焚烧所产生的飞灰中含有大量的重金属,如不进行妥善处理,会对环境产生破坏.本文采用铁浴熔池对垃圾焚烧飞灰中的重金属进行了熔融分离试
首次将802.11e的接入机制放入多跳环境中进行仿真分析和定量研究。提出一种新的多跳环境下802.11e网络模型,结合M/G/1/K排队模型,定量分析在隐藏终端影响下802.11e网络的MAC层吞吐率、MAC时延和帧丢失率,研究802.11e在多跳环境下性能表现的内在原因。经过仿真实验结果与数值分析结果的对比,验证了分析模型的准确性;通过有(无)隐藏终端影响下MAC层性能的对比分析,指出了802.
为获得高质量的水稻叶部病害图像,在自行设计的灯箱中充分考虑了物距、灯管数目、灯管高度、灯管侧距等成像环境因素对图像质量的影响,通过主客观评价方法对不同成像环境因素水平下拍摄的照片进行质量评价,最终得出最佳成像环境因素取值水平。该过程分为三步:首先采用正交试验法设计各环境因素取值水平并拍摄照片,然后采用客观评价方法进行图像质量评价,最后通过与主观评价方法对比确定成像环境因素最佳取值水平。经过大量实验