搜索到287 篇“ 内存模型 “的相关文章
内存 模型 的生成方法及装置、存储介质及电子设备 本申请实施例提供了一种内存 模型 的生成方法及装置、存储介质及电子设备,其中,该内存 模型 的生成方法包括:在接收到内存 模型 生成请求的情况下,从所述内存 模型 生成请求中获取镜像文件和所述镜像文件对应的第一起始地址,其中,所述镜像文... 梁青 王大中 刘冲基于类C语言内存 模型 的复杂数据结构验证方法 2024年 对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存 模型 的验证方法。首先,以内存 块为基础将复杂数据结构的操作进行函数形式的定义和描述,形式化描述内存 对象操作性质;其次,针对程序层定义了符合复杂结构描述的文法和语义,并基于符号化的程序逻辑进行推理。实验对嵌入式操作系统内核μC/OS-III中的复杂数据结构进行分析和自动化验证,断言描述和验证条件脚本通过了自动定理证明器的求解。 李薛剑 王俊宜关键词:形式化验证 程序逻辑 内存模型 操作系统内核 基于C11弱内存 模型 的C语言程序验证方法及装置 本发明提供一种基于C11弱内存 模型 的C语言程序验证方法及装置,该方法包括:基于C语言程序当前对应的弱内存 模型 中强制执行的一致性公理,确定第一操作对应的顺序一致性约束、修改顺序一致性约束以及读取一致性约束;基于第一操作对应... 易秋萍 刘胜涵基于C11弱内存 模型 的C语言程序验证方法及装置 本发明提供一种基于C11弱内存 模型 的C语言程序验证方法及装置,该方法包括:基于C语言程序当前对应的弱内存 模型 中强制执行的一致性公理,确定第一操作对应的顺序一致性约束、修改顺序一致性约束以及读取一致性约束;基于第一操作对应... 易秋萍 刘胜涵基于内存 模型 图的Java传值与传引用教学研究 2024年 在职业教育的课堂上,Java语言的教学更多地偏向代码的练习,由于Java虚拟机的说明文档晦涩难懂,不方便引入Java虚拟机相关内容,不利于学生理解程序。文章提出通过内存 模型 图的方法帮助学生理解和学习Java语言,并以传值和传引用为例进行了实证研究。 魏宾宾 李馨怡 王娜 龙凯鑫PSO弱内存 模型 的形式语义研究 罗竣夫内存 模型 验证装置、方法、电子设备和存储介质 本公开提供了一种内存 模型 验证装置、方法、电子设备和存储介质,可以应用于计算机技术领域。内存 模型 验证装置包括获取模块,用于获取预设源代码,预设源代码用于验证处理器的内存 模型 ;生成模块,用于基于预设源代码,生成验证代码,验证... 万倩 徐旭明 卫小勇 曾凡晨基于抽象内存 模型 的内存 相关漏洞检测方法 被引量:7 2022年 针对现有的内存 相关漏洞检测方法中存在依赖指针数据流而导致大量误报漏报、缺乏漏洞特征的形式化描述以及漏洞特征描述不全面的问题,提出一种基于抽象内存 模型 的内存 相关漏洞检测方法。对抽象内存 模型 进行相关定义;基于抽象内存 模型 ,对内存 泄露、重复释放内存 和读写释放后的内存 这三种与内存 相关的漏洞类型的特征进行形式化符号表示;基于代码的控制流图,利用可行路径求解算法得到代码的所有可行路径,并对所有可行路径上的抽象内存 进行运行时状态判定,从而检测代码是否存在内存 相关的漏洞;使用Juliet Test Suite中的CWE401、CWE415、CWE416三个内存 相关漏洞的测试数据集对提出的检测方法进行验证,实验结果表明,相比依赖指针数据流的检测方法,该方法在内存 相关漏洞检测的误报率和漏报率均降低。 许健 陈平华 熊建斌关键词:内存泄漏 一种内存 管理库的实现方法及内存 模型 为了克服现有技术的不足,本发明提供了一种内存 管理库的实现方法及内存 模型 ,包括:一个内存 模型 :该内存 模型 在申请内存 时,通过分配额外的内存 空间构建用于内存 管理的内存 模型 ;并通过大小固定的内存 管理块,定义保存内存 块的起始地址、... 凌云 邬刚一种内存 模型 的计算方法、装置及计算机可读存储介质 本发明公开了一种内存 模型 计算的方法、装置及计算机可读存储介质,该方法包括:接收终端上传的终端系统,通过安卓虚拟机安装并运行所述终端系统;在所述终端系统中模拟用户登录应用程序,并根据所述用户的日志文档自动运行所述应用程序;... 倪秉炬
相关作者
董玉坤 作品数:71 被引量:86 H指数:6 供职机构:中国石油大学(华东) 研究主题:内存模型 数据流分析 C程序 抽象语法树 软件测试 宫云战 作品数:316 被引量:533 H指数:14 供职机构:北京邮电大学 研究主题:软件测试 控制流 抽象语法树 控制流图 测试用例 金大海 作品数:133 被引量:91 H指数:6 供职机构:北京邮电大学 研究主题:控制流 软件测试 抽象语法树 控制流图 状态机 肖贺 作品数:7 被引量:25 H指数:2 供职机构:上海交通大学 研究主题:函数依赖 内存模型 内存操作 内存变量 内存 李薛剑 作品数:47 被引量:32 H指数:4 供职机构:安徽大学 研究主题:形式化验证 内存模型 以太网数据 遗留物检测 持续性