公开(公告)号：CN117931540A

公开(公告)日：2024-04-26

申请号：CN202311752566.5

申请日：2023-12-19

Applicant: 中国科学院信息工程研究所

Inventor： 孟丹 ,  朱子元 ,  王光

IPC: G06F11/22

Abstract: 本申请涉及计算机技术领域，提供一种预留指令处理方法、装置、电子设备和存储介质，该方法包括：随机生成x86处理器的多个测试指令；确定测试指令中的合法指令，并过滤合法指令，得到预留指令；若预留指令的测试结果为执行成功且未触发非法指令异常的信号，则确定预留指令为隐藏指令，并生成隐藏指令的分析报告。本申请基于条件随机生成x86预留指令，节约预留指令的处理时间，从而提高指令测试的效率。

公开(公告)号：CN118051428A

公开(公告)日：2024-05-17

申请号：CN202311795964.5

申请日：2023-12-25

Applicant: 中国科学院信息工程研究所

Inventor： 孟丹 ,  朱子元 ,  王光

IPC: G06F11/36 ,  G06F8/53

Abstract: 本发明提供一种指令空间的指令检测方法、装置、电子设备及存储介质，属于计算机技术领域，方法包括：基于搜索深度，确定指令空间的测试指令，搜索深度是基于历史测试指令的历史执行结果、历史搜索深度和必要搜索深度确定的；基于测试指令的执行结果和反汇编结果，检测测试指令中的缺陷指令或者隐藏指令。本发明根据历史执行结果、历史搜索深度和必要搜索深度，实时更新搜索深度，提高了测试指令对x86指令空间的操作码、寄存器/存储器、比例‑索引‑基址字节的覆盖率，进而提高了对x86指令空间的检测的准确性；同时比较执行结果和反汇编结果，检测缺陷指令和隐藏指令，提高了检测缺陷指令和隐藏指令的准确性。

公开(公告)号：CN117931542A

公开(公告)日：2024-04-26

申请号：CN202311757009.2

申请日：2023-12-19

Applicant: 中国科学院信息工程研究所

Inventor： 孟丹 ,  朱子元 ,  王光

IPC: G06F11/22

Abstract: 本发明提供处理器指令的测试方法、装置、电子设备及存储介质，涉及计算机测试技术领域，该方法包括：采用深度优先遍历算法生成待测试指令；将所述待测试指令输入至处理器，得到所述处理器输出的基于所述待测试指令处理后的处理器结果；将所述待测试指令输入至反汇编器，得到所述反汇编器输出的基于所述待测试指令反汇编后的反汇编结果；反汇编器用于获取指令的特征值，并基于特征值跳过对特征值所在字节中冗余的立即数或者偏移量操作数的测试。基于所述处理器结果和所述反汇编结果，确定指令测试结果。通过上述方式，本发明可以保证高覆盖率的同时保证较高效率，提高指令空间的测试效率。

公开(公告)号：CN117931286A

公开(公告)日：2024-04-26

申请号：CN202311756052.7

申请日：2023-12-19

Applicant: 中国科学院信息工程研究所

Inventor： 孟丹 ,  朱子元 ,  王光 ,  闫超

IPC: G06F9/30 ,  H04L9/00 ,  H04L9/40

Abstract: 本发明提供一种自动搜索处理器隐蔽信道方法、设备及存储介质，涉及隐蔽信道搜索技术领域，所述方法包括：获取指令集类型，确定指令空间范围，遍历生成机器代码；对机器代码进行反汇编处理，获取对应的指令；根据指令的功能类别进行分组，获取指令列表；按照预设功能序列选取指令，生成指令序列；将指令序列输入至处理器，获取输出结果；判断指令序列是否形成隐蔽信道，若形成隐蔽信道则记录指令序列作为隐蔽信道指令序列；生成指令序列报告。通过遍历方式获取机器代码进而获得指令，有利于全面地取得处理器的指令避免遗漏隐藏指令，通过指令序列对处理器进行测试，获取形成隐蔽通道的隐蔽信道指令序列，达到自动搜索处理器隐蔽信道的效果。

公开(公告)号：CN117931541A

公开(公告)日：2024-04-26

申请号：CN202311755541.0

申请日：2023-12-19

Applicant: 中国科学院信息工程研究所

Inventor： 孟丹 ,  朱子元 ,  王光

IPC: G06F11/22

Abstract: 本发明涉及处理器测试领域，提供一种x86指令前缀生成方法、装置、设备及存储介质。所述方法包括：获取前缀离散值集合及其对应的约束条件；该前缀离散值集合中包括多个用于生成x86指令前缀的前缀离散值；基于所述约束条件，对前缀离散值集合中的各前缀离散值进行排列组合，生成x86指令前缀。在约束条件的限制下，通过排列组合的方式生成x86指令前缀，提高了x86指令前缀的覆盖率，同时避免了冗余指令的生成，能够在可接受的时间内，实现对处理器的全面测试，提高了处理器的测试效率和覆盖率，从而有利于提升计算机系统的安全性。

公开(公告)号：CN117932600A

公开(公告)日：2024-04-26

申请号：CN202311752654.5

申请日：2023-12-19

Applicant: 中国科学院信息工程研究所

Inventor： 孟丹 ,  朱子元 ,  王光

IPC: G06F21/56

Abstract: 本申请涉及计算机技术领域，提供一种隐藏指令识别方法及装置。所述方法包括：采用遍历的方式生成处理器的待测指令；根据反汇编器对所述待测指令的支持情况，确定预留指令的目标判定方案；利用所述目标判定方案，判定所述待测指令是否为预留指令；若所述待测指令是预留指令，则对所述预留指令进行测试，以识别所述预留指令是否为隐藏指令。本申请提供的隐藏指令识别方法及装置可以预先判定待测指令是否预留指令，针对预留指令才进行隐藏指令的识别，大大缩小隐藏指令识别的范围，提高隐藏指令识别的效率。