公开(公告)号：CN108958793B

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

申请号：CN201810819671.9

申请日：2018-07-24

Applicant: 北京理工大学 ,  北京计算机技术及应用研究所

Inventor： 马锐 ,  窦伯文 ,  高浩然 ,  王龙 ,  孔雷

IPC: G06F8/75 ,  G06F11/36

Abstract: 本发明采用一种基于改进GN算法的程序控制流图划分方法，将程序划分为多个段，解决了划分子图规模的不均衡性和迭代次数过多的问题。一种基于改进GN算法的程序控制流图划分方法，首先由程序分析工具获取程序的控制流图；其次，对由节点和有向边构成的控制流图进行处理，为其中的各个节点设置权值；然后结合权值对控制流图进行划分，得到划分后的子图。

公开(公告)号：CN108958793A

公开(公告)日：2018-12-07

申请号：CN201810819671.9

申请日：2018-07-24

Applicant: 北京理工大学 ,  北京计算机技术及应用研究所

Inventor： 马锐 ,  窦伯文 ,  高浩然 ,  王龙 ,  孔雷

IPC: G06F8/75 ,  G06F11/36

CPC classification number: G06F8/75 ,  G06F11/3604

Abstract: 本发明采用一种基于改进GN算法的程序控制流图划分方法，将程序划分为多个段，解决了划分子图规模的不均衡性和迭代次数过多的问题。一种基于改进GN算法的程序控制流图划分方法，首先由程序分析工具获取程序的控制流图；其次，对由节点和有向边构成的控制流图进行处理，为其中的各个节点设置权值；然后结合权值对控制流图进行划分，得到划分后的子图。

公开(公告)号：CN109002723B

公开(公告)日：2021-09-07

申请号：CN201810819763.7

申请日：2018-07-24

Applicant: 北京理工大学

Inventor： 胡昌振 ,  马锐 ,  窦伯文 ,  王龙 ,  高浩然

IPC: G06F21/57

Abstract: 本发明采用一种分段式符号执行方法，对程序段进行粗粒度划分，并采用各程序段独立执行的方式对程序进行符号化分析，以改进目前的符号执行工具针对大规模程序进行分析以及现有分段式符号执行顺序分析方法的分析效率和分析准确度。一种分段式符号执行方法，通过聚类方法将程序划分为较大的多个程序段，进而对各程序段进行独立符号执行，然后将各个程序段的符号执行结果进行合并，完成对整个程序的分析。

公开(公告)号：CN109002723A

公开(公告)日：2018-12-14

申请号：CN201810819763.7

申请日：2018-07-24

Applicant: 北京理工大学

Inventor： 胡昌振 ,  马锐 ,  窦伯文 ,  王龙 ,  高浩然

IPC: G06F21/57

Abstract: 本发明采用一种分段式符号执行方法，对程序段进行粗粒度划分，并采用各程序段独立执行的方式对程序进行符号化分析，以改进目前的符号执行工具针对大规模程序进行分析以及现有分段式符号执行顺序分析方法的分析效率和分析准确度。一种分段式符号执行方法，通过聚类方法将程序划分为较大的多个程序段，进而对各程序段进行独立符号执行，然后将各个程序段的符号执行结果进行合并，完成对整个程序的分析。