公开(公告)号：CN110975288B

公开(公告)日：2023-08-29

申请号：CN201911138925.1

申请日：2019-11-20

申请人： 中国人民解放军国防科技大学

发明人： 胡越 ,  鞠儒生 ,  许凯 ,  秦龙 ,  彭勇 ,  焦鹏 ,  杨妹 ,  唐见兵 ,  段红

IPC分类号： A63F13/5378 ,  G01C21/20

摘要： 一种基于跳点路径搜索的几何容器数据压缩方法，第一步：对均匀网格地图进行结构分析，识别出所有轴向跳点，生成轴向跳点集；第二步：根据轴向跳点集识别出所有有源对角跳点，生成有源对角跳点集；第三步：分别以生成的所有轴向跳点和所有有源对角跳点塌缩的位置为源节点搜索整个所述均匀网格地图，针对每个塌缩位置进行几何容器标识预处理，以完成任意两个可通行节点之间的最优路径搜索。一种基于本发明所述方法的系统：包括存储器和处理器，所述存储器存储有均匀网格地图和跳点路径搜索的几何容器数据压缩程序，所述处理器在运行所述跳点路径搜索的几何容器数据压缩程序时执行所述方法的步骤。

公开(公告)号：CN116305173A

公开(公告)日：2023-06-23

申请号：CN202310590134.2

申请日：2023-05-24

申请人： 中国人民解放军国防科技大学

发明人： 尹帮虎 ,  唐见兵 ,  焦鹏 ,  段红 ,  尹全军 ,  唐涛 ,  刘彦辰 ,  宋海博 ,  汪骁晗 ,  杨铠铭 ,  陈媚春

IPC分类号： G06F21/57

摘要： 本申请涉及一种整数漏洞查找方法、装置、计算机设备和存储介质。所述方法包括：通过扩展整型变量长度对源程序进行变异，得到对应的变异程序，根据源程序和变异程序构造组合程序，组合程序中通过插桩的整数漏洞检测条件变量和整数漏洞检测条件语句在程序结束点处检测整数漏洞，以执行整数漏洞检测条件语句为目标，对组合程序开展模糊测试，直至触发整数漏洞；基于程序点状态比对法确定整数漏洞产生的根源位置信息。本发明基于整型变量长度扩展的程序变异技术，能够简化整数漏洞查找模型；只需在程序结束点处检测整数漏洞是否发生即可，检测效率高；基于目标程序点执行的模糊测试引导策略，更有利于快速生成触发整数漏洞条件的测试用例。