搜索到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被引量:86H指数:6
供职机构:中国石油大学(华东)
研究主题:内存模型 数据流分析 C程序 抽象语法树 软件测试
宫云战
作品数:316被引量:533H指数:14
供职机构:北京邮电大学
研究主题:软件测试 控制流 抽象语法树 控制流图 测试用例
金大海
作品数:133被引量:91H指数:6
供职机构:北京邮电大学
研究主题:控制流 软件测试 抽象语法树 控制流图 状态机
肖贺
作品数:7被引量:25H指数:2
供职机构:上海交通大学
研究主题:函数依赖 内存模型 内存操作 内存变量 内存
李薛剑
作品数:47被引量:32H指数:4
供职机构:安徽大学
研究主题:形式化验证 内存模型 以太网数据 遗留物检测 持续性