公开(公告)号：CN111651765B

公开(公告)日：2023-05-02

申请号：CN202010462328.0

申请日：2020-05-27

Applicant: 上海交通大学

Inventor： 易平 ,  蒋望涵 ,  周稚宜 ,  黄培扬 ,  徐志鹏

IPC: G06F21/56 ,  G06F21/57 ,  G06F11/36

Abstract: 一种基于生成式对抗网络的程序执行路径生成方法，对待处理程序进行向量化处理得到行向量，通过对抗生成网络对待处理程序及其行向量进行模拟路径生成的对抗训练，最后将训练后的对抗生成网络进行模拟程序执行路径生成，防止符号执行路径爆炸以及约束求解困难。本发明将自然语言处理算法应用于程序的脆弱路径生成，能够有效地提取程序的语义信息和结构特点，并用于程序的脆弱路径生成。本发明能够高效地从程序中提取脆弱路径，能够有效地缓解符号执行路径爆炸的问题，能高效地分析大批量程序脆弱路径。

公开(公告)号：CN111651765A

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

申请号：CN202010462328.0

申请日：2020-05-27

Applicant: 上海交通大学

Inventor： 易平 ,  蒋望涵 ,  周稚宜 ,  黄培扬 ,  徐志鹏

IPC: G06F21/56 ,  G06F21/57 ,  G06F11/36

Abstract: 一种基于生成式对抗网络的程序执行路径生成方法，对待处理程序进行向量化处理得到行向量，通过对抗生成网络对待处理程序及其行向量进行模拟路径生成的对抗训练，最后将训练后的对抗生成网络进行模拟程序执行路径生成，防止符号执行路径爆炸以及约束求解困难。本发明将自然语言处理算法应用于程序的脆弱路径生成，能够有效地提取程序的语义信息和结构特点，并用于程序的脆弱路径生成。本发明能够高效地从程序中提取脆弱路径，能够有效地缓解符号执行路径爆炸的问题，能高效地分析大批量程序脆弱路径。