公开(公告)号：CN115543439A

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

申请号：CN202211256469.2

申请日：2022-10-14

Applicant: 南京大学

Inventor： 王豫 ,  陈昊东 ,  蔡悦 ,  王林章

IPC: G06F8/75 ,  G06F8/74

Abstract: 本发明公开一种基于指令级数据流分析的新指令扩展方法，包括以下步骤：首先基于静态分析构建指令级数据流图；接着基于指令约束条件对指令级数据流图进行划分得到子图集合；然后基于子图等价关系的定义对子图集合进行等价类划分，并基于指令序列特征和频次筛选出符合特征的高频子图；最后基于抽象指令序列，描述每一个高频子图对应的新指令语义。之后可以根据抽象指令序列来实现新指令并通过在代码生成时使用新指令，达到性能优化的效果。本方法使得用户仅需要提供指令约束条件和指令序列特征等少量信息，就可以自动发掘程序中可优化的指令片段，从而有效降低人工成本，提高指令挖掘的准确性和效率。

公开(公告)号：CN118034708A

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

申请号：CN202410221415.5

申请日：2024-02-28

Applicant: 南京大学

Inventor： 陈昊东 ,  王豫 ,  王林章

IPC: G06F8/53 ,  G06F8/41 ,  G06F21/56

Abstract: 本发明公开一种基于静态分析的二进制程序控制流重建方法，该方法首先提取输入二进制程序的函数入口地址，然后基于工作列表算法反汇编并构建过程内控制流图和函数调用图；根据过程内控制流图和函数调用图分析构建函数抽象，根据函数抽象分析函数调用指令对应的返回地址并更新过程内控制流图的调用返回关系，再根据过程内控制流图和函数抽象，分析函数内的间接跳转目标并更新过程内控制流图的间接跳转关系，最后构建过程间控制流图，基于过程间静态分析方法更新函数调用图中的间接调用关系、过程间控制流图中的函数调用关系和函数调用指令对应的函数抽象。本发明可以解决目前二进制程序控制流重建的通用方法自动化程度与控制流精度无法兼得的问题。