基于关系语法树的C/C++代码静态检测方法研究

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:w370724
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为减少软件静态分析中信息冗余度并提高信息提取的准确率和效率,提出了一种基于关系存储模式的关系语法树模型,以终结符之间的依存关系建模,有效地减少了信息冗余度,并以可扩展标记语言(extensible markup language,XML)标准格式存储。利用了成熟的XML解析技术,设计了一种基于XML中间模型的静态检测方法,并将该方法应用于编程规范检测中。实验结果表明,该方法有效地提高了检测效率和精度。
其他文献
介绍了钾盐盐田水采机的工作流程及工作原理,并对水采机的各部分结构及特点作了详细分析。该设备具有工作稳定、连续、节能低碳、噪音小、采收量大等优点。
<正>2015年1月12日至14日召开的十八届中央纪委五次全会,是在全面建成小康社会、全面深化改革、全面推进依法治国、全面从严治党的关键时期召开的一次十分重要的会议。习近平
为了直观地研究重载列车动力学参数性能,克服直接对数值数据进行对比分析效率低的缺点,提出了以多图层图形化的方法显示动力学参数变化规律,实现了多车辆、多类型动力学参数的对
针对AT89C52和P89C668两种单片机实现的DES密码系统,采用差分电磁分析的方法对其进行了密码破译实验,成功获得了DES第16轮48位子密钥。分析了CMOS门电路中数据与电磁辐射的相关
针对粒子群优化算法容易陷入局部极值点的问题,提出了一种新的量子比特粒子群算法,该算法采用Pareto支配关系来更新粒子的个体最优值和局部最优值;定义极大极小距离,并采用该
学前阶段的教育遵循保教结合的原则,促进幼儿身体与心理和谐的发展是幼儿园的主要工作方向。其中,幼儿园户外体育活动以其独特的方式,对幼儿身体健康以及认知等方面的发展都