一种基于基本块重划分的控制流错误检测方法

被引:0
专利类型
发明
申请号
CN201910959641.2
申请日
2019-10-10
公开(公告)号
CN110806972A
公开(公告)日
2020-02-18
发明(设计)人
庄毅 张倩雯 晏祖佳
申请人
申请人地址
210000 江苏省南京市御道街29号
IPC主分类号
G06F1136
IPC分类号
代理机构
南京理工大学专利中心 32203
代理人
马鲁晋
法律状态
实质审查的生效
国省代码
引用
下载
收藏
共 50 条
[1]
一种控制流图中谓词基本块检测方法及设备 [P]. 
乐德广 ;
董琴平 ;
牛传军 ;
李亚杰 ;
阚志刚 .
中国专利 :CN117251171B ,2024-04-12
[2]
一种基于重构控制流图的控制流错误检测优化方法 [P]. 
谭庆平 ;
李建立 ;
宁洪 ;
徐建军 ;
周会平 ;
谭兰芳 ;
徐锡山 .
中国专利 :CN101944064A ,2011-01-12
[3]
一种控制流错误检测方法 [P]. 
寇义民 ;
李春 ;
刘宽俊 ;
潘乐 ;
尚华 ;
于小龙 ;
商明森 .
中国专利 :CN104461886A ,2015-03-25
[4]
一种程序控制流错误检测方法 [P]. 
谭庆平 ;
徐建军 ;
宁洪 ;
周会平 ;
李建立 ;
李剑明 ;
罗宇 ;
邓胜兰 .
中国专利 :CN101763291B ,2010-06-30
[5]
基于块划分的图像中运动目标的检测方法 [P]. 
郭春辉 ;
熊模昌 .
中国专利 :CN101236656B ,2008-08-06
[6]
一种基于SIMD向量化的数据流软错误检测方法 [P]. 
庄毅 ;
张磊 ;
顾晶晶 ;
郭黎烨 ;
曹子宁 .
中国专利 :CN114510427A ,2022-05-17
[7]
一种基于SIMD向量化的数据流软错误检测方法 [P]. 
庄毅 ;
张磊 ;
顾晶晶 ;
郭黎烨 ;
曹子宁 .
中国专利 :CN114510427B ,2024-09-13
[8]
一种基于生成域的数据包错误检测方法及错误检测装置 [P]. 
吴敏悦 ;
胡晓娅 ;
柯黎 .
中国专利 :CN108650690B ,2018-10-12
[9]
一种基于硬件机制的内核控制流异常检测方法 [P]. 
曾庆凯 ;
焦贺贺 .
中国专利 :CN107506638A ,2017-12-22
[10]
一种基于变异测试的虚拟原型错误检测方法 [P]. 
陈铭松 ;
顾海峰 ;
张健宁 ;
胡铭 ;
段文雪 ;
谢永康 ;
宋云飞 .
中国专利 :CN109542698A ,2019-03-29