内存模型

作品数：34被引量：65H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董玉坤宫云战金大海刘浩张莉更多>>
相关机构：北京邮电大学中国石油大学（华东）中国科学技术大学国防科学技术大学更多>>
相关期刊：《计算机技术与发展》《计算机教育》《电脑编程技巧与维护》《电子测试》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
TSO内存模型下限界可线性化的可判定性研究
《软件学报》2022年第8期2896-2917,共22页王超 吕毅 吴鹏 贾巧雯 
国家自然科学基金(62002298,62072443);中央高校基本科研业务费专项资金(SWU019036);中国科学院对外合作重点项目(GJHZ1844)。
TSO-to-TSO可线性化、TSO-to-SC可线性化和TSO可线性化是Total Store Order(TSO)内存模型下可线性化的3个变种.提出了k-限界TSO-to-TSO可线性化和k-限界TSO可线性化,考察了k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TS...
关键词：并发数据结构 可线性化 TSO内存模型 可判定性 易失通道机器 
面向顺序存储结构的数据流分析被引量：5
《软件学报》2020年第5期1276-1293,共18页王淑栋 尹文静 董玉坤 张莉 刘浩 
中央高校基本科研业务费专项资金(19CX02028A);国家自然科学基金(61873281)。
C程序中数组、malloc动态分配后的连续内存等顺序存储结构被大量使用,但大多数传统的数据流分析方法未能充分描述其结构及其上的操作,特别是在利用指针访问顺序存储结构时,传统的分析方法只关注了指针的指向关系,而未讨论指针可能发生...
关键词：顺序存储结构 数据流分析 抽象内存模型 过程间分析 内存泄漏 
基于区域内存模型的C程序静态分析被引量：9
《软件学报》2014年第2期357-372,共16页董玉坤 金大海 宫云战 邢颖 
国家自然科学基金(91318301;61202080);国家高技术研究发展计划(863)(2012AA011201)
为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevalued logic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的...
关键词：可寻址表达式 内存模型 静态分析 符号化函数摘要 缺陷检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部