非法计算

作品数：7被引量：6H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：宫云战曹文静邹欣江标徐胜红更多>>
相关机构：北京邮电大学装甲兵工程学院中国人民解放军海军航空工程学院中国石油大学（华东）更多>>
相关期刊：《计算机工程与设计》《科学技术创新》《计算机工程与应用》《武汉大学学报（理学版）》更多>>
相关基金：国家高技术研究发展计划中国人民解放军总装备部“十五”预研基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
C程序非法计算缺陷的静态检测被引量：1
《计算机工程与应用》2016年第19期31-36,共6页董玉坤 
山东省自然科学基金(No.BS2015DX017);中央高校基本科研业务费专项资金(No.15CX02050A);中国博士后科学基金(No.2015M581032)
为实现基于静态分析技术自动的检测C程序中的非法计算缺陷,提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非法计算缺陷操作归纳总结出其受限集,以对相应运算进行约束;通过抽象的区域内存模型表示实际的内存存储,...
关键词：缺陷检测 非法计算 静态分析 抽象内存模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部