公开(公告)号：CN115421861A

公开(公告)日：2022-12-02

申请号：CN202211114539.0

申请日：2022-09-14

Applicant: 北京计算机技术及应用研究所

Inventor： 李雅斯 ,  贾张涛 ,  张建伟 ,  勉斌 ,  邵飒 ,  付修锋 ,  安顺 ,  耿宏伟 ,  孔祥炳

IPC: G06F9/455

Abstract: 本发明涉及一种通用的TMS320C55x处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等处理器，解决TMS320C54X系列、TMS320C5509a、TMS320C5515、TMS320VC5535等系列处理器的虚拟化仿真问题。TMS320C55X指令架构共计包含154条指令集，通过对154条指令集的仿真，提供TMS320C55X处理器嵌入式处理器软件的运行环境，为TMS320C55X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C55X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C55X指令架构处理器。

公开(公告)号：CN115016843A

公开(公告)日：2022-09-06

申请号：CN202210566686.5

申请日：2022-05-23

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  金玉川 ,  李雅斯 ,  张建伟 ,  冯大成 ,  付修锋 ,  安恒 ,  柴宇航 ,  刘玉波

IPC: G06F8/75

Abstract: 本发明涉及一种高精度的二进制代码相似性比对方法，属于代码比对领域。本发明利用SimHash算法进行比对检索，缩小二进制代码比对的范围，再利用二进制代码特征进行精准的相似性比对，实现二进制代码的快速、精确的比对，为二进制代码溯源、缺陷扫描分析提供支撑，满足不同场景下的二进制代码相似性比对的需求。本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明提取二进制代码函数特征，能够保证代码相似性比对的精确度；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。

公开(公告)号：CN114995880A

公开(公告)日：2022-09-02

申请号：CN202210566698.8

申请日：2022-05-23

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  陶金龙 ,  孔祥炳 ,  邵飒 ,  张建伟 ,  冯大成 ,  付修锋 ,  安恒 ,  刘玉波 ,  金玉川

IPC: G06F8/75

Abstract: 本发明涉及一种基于SimHash的二进制代码相似性比对方法，属于代码比对领域。本发明对二进制代码反汇编及汇编代码预处理，对汇编代码标准化处理，计算汇编代码SimHash值，构建代码特征关系库构架，基于文本相似性的二进制代码快速定位。本发明具有以下优点：本发明提出的方案，能够在兼顾对比效率的同时，保证二进制代码相似性比对的效率；本发明采用基于SimHash的文本对比方法，能够提高二进制代码相似性比对的效率。

公开(公告)号：CN112926109B

公开(公告)日：2022-06-24

申请号：CN202110338756.7

申请日：2021-03-30

Applicant: 北京计算机技术及应用研究所

Inventor： 付修锋 ,  孔祥炳 ,  安恒 ,  金玉川 ,  贾张涛 ,  李雅斯

IPC: G06F30/12 ,  G06F3/04845 ,  G06F111/20

Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法，其中，包括：第一步、构建实体对象的图形化模型；第二步、配置图形化模型接口与属性；第三步、生成设备仿真模型，包括：将图形化模型描述的接口和属性转化为对应的接口函数和属性变量，进行设备仿真模型框架代码的自动生成，基于此框架开展设备仿真模型的逻辑功能开发；第四步、封装设备仿真模型并持久化存储，包括：封装图形界面操作，并建立设备仿真模型与图形模型的双向映射；并形成图形化模型与设备仿真模型库；第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程，进而提升嵌入式软件研发效率和测试充分性。

公开(公告)号：CN112395190A

公开(公告)日：2021-02-23

申请号：CN202011280982.6

申请日：2020-11-16

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  吴超 ,  付修锋 ,  安恒 ,  李雅斯 ,  沈兴龙 ,  闫帅

IPC: G06F11/36

Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。

公开(公告)号：CN111813672A

公开(公告)日：2020-10-23

申请号：CN202010636319.9

申请日：2020-07-03

Applicant: 北京计算机技术及应用研究所

Inventor： 贾张涛 ,  吴超 ,  付修锋 ,  安恒 ,  李雅斯 ,  沈兴龙 ,  闫帅

IPC: G06F11/36 ,  G06F8/75

Abstract: 本发明涉及一种针对多种处理器架构的非侵入式覆盖率统计方法，包括：搭建嵌入式软件仿真运行环境；解析多种架构目标文件及调试信息格式，获取处理器对应的调试信息格式，通过解析调试信息格式获取嵌入式软件源码目标码对应关系信息；解析源代码获取源代码的分支信息；获取覆盖率信息，包括：仿真执行开始后，判断当前指令是否是分支指令，若不是，继续执行指令；如果是，以当前地址作为基本块结束地址，并以基本块开始地址和结束地址为索引，更新覆盖率查询表；将覆盖率统计分析结果输出。本发明的能够弥补现有覆盖率统计分析工具的不足，满足多种场景下覆盖率统计分析的需求。