刘畅
- 作品数：16 被引量：24H指数：1
- 供职机构：中国科学院软件研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于马尔可夫模型的软件错误定位系统及错误定位方法
- 一种基于马尔可夫模型的软件错误定位系统及错误定位方法，属于软件调试技术领域，由测试信息获取模块、自定制模块、图形交互界面模块、一步转移概率矩阵模块、错误定位模块、错误修正模块、数据库模块组成，具体步骤包括：测试信息获取模...
- 张震宇刘畅张云乾
- 文献传递
- RISC-V指令集架构研究综述被引量：24
- 2021年
- 指令集作为软硬件之间的接口规范,是信息技术生态的起始原点.RISC-V是计算机体系结构走向开放的必然产物,其出现为系统研究领域带来了新的思路,即系统软件问题的研究深度可以进一步向下延伸至指令集架构,从而拓展甚至颠覆软件领域的“全栈”概念.对近年来RISC-V指令集架构相关的研究成果进行了综述.首先介绍了RISC-V指令集的发展现状,指出开展RISC-V研究应重点关注的指令集范围.然后分析了RISC-V处理器设计要点和适用范围.同时,围绕RISC-V系统设计问题,从指令集、功能实现、性能提升、安全策略这4个方面,论述了RISC-V处理器基本的研究思路,并分析了近年来的研究成果.最后借助具体的研究案例,阐述了RISC-V在领域应用的价值,并展望了RISC-V架构后续研究的可能切入点和未来发展方向.
- 刘畅武延军武延军吴敬征
- 关键词：架构设计处理器系统安全
- 一种基于预运算的程序变异软件错误定位方法
- 本发明属于软件测试领域，涉及一种基于预运算的程序变异软件错误定位方法，步骤包括：利用程序编写的过程中获得的中间版本的程序生成多个变异版本的程序；执行变异版本的程序，收集各个版本程序的执行信息，所述执行信息包括执行结果和次...
- 孙成龙张震宇刘畅
- 文献传递
- 基于RISC-V与O-CFI机制的代码重用攻击防御方法及装置
- 本发明公开一种基于RISC‑V与O‑CFI机制的代码重用攻击防御方法及装置，包括：根据基本块顺序随机化的程序源代码，构造控制流图；基于控制流图，获取控制流转移分支的边界范围；执行程序源代码，获取每一控制流将转移到的目标节...
- 刘畅赵琛武延军芮志清吴敬征武斌
- 基于RISC-V与Canary机制的缓冲区溢出攻击防御方法及装置
- 本发明公开一种基于RISC‑V与Canary机制的缓冲区溢出攻击防御方法及装置，包括：为程序源代码的抽象语法树赋予content属性后，生成节点调用关系图G；生成特殊数据Canary；在每一调用节点content属性所对...
- 刘畅赵琛武延军芮志清吴敬征
- 文献传递
- 一种基于程序结构影响感知的软件错误定位方法
- 本发明公开了一种基于程序结构影响感知的软件错误定位方法，步骤包括：提取程序集中各版本的程序语句的覆盖信息—错误语句在所有失败的程序执行中运行的次数和语句在所有成功的程序执行中运行的次数，选择某种可疑度函数，计算错误语句的...
- 李恒张震宇刘畅
- 文献传递
- 基于RISC-V与Canary机制的缓冲区溢出攻击防御方法及装置
- 本发明公开一种基于RISC‑V与Canary机制的缓冲区溢出攻击防御方法及装置，包括：为程序源代码的抽象语法树赋予content属性后，生成节点调用关系图G；生成特殊数据Canary；在每一调用节点content属性所对...
- 刘畅赵琛武延军芮志清吴敬征
- 一种基于程序结构影响感知的软件错误定位方法
- 本发明公开了一种基于程序结构影响感知的软件错误定位方法，步骤包括：提取程序集中各版本的程序语句的覆盖信息—错误语句在所有失败的程序执行中运行的次数和语句在所有成功的程序执行中运行的次数，选择某种可疑度函数，计算错误语句的...
- 李恒张震宇刘畅
- 文献传递
- 基于RISC-V与HW-CFI机制的控制流劫持攻击防御方法及装置
- 本发明公开了一种基于RISC‑V与HW‑CFI机制的控制流劫持攻击防御方法及装置，包括：根据程序源代码构造控制流图；分析控制流图，识别程序控制流转移节点的位置与类别，生成控制流转移节点表；基于控制流转移节点表，在控制流转...
- 刘畅赵琛武延军芮志清吴敬征武斌
- 文献传递
- 基于RISC-V与O-CFI机制的代码重用攻击防御方法及装置
- 本发明公开一种基于RISC‑V与O‑CFI机制的代码重用攻击防御方法及装置，包括：根据基本块顺序随机化的程序源代码，构造控制流图；基于控制流图，获取控制流转移分支的边界范围；执行程序源代码，获取每一控制流将转移到的目标节...
- 刘畅赵琛武延军芮志清吴敬征武斌
- 文献传递
