基于神经网络的程序表示-陈传涛.pdfVIP

ThenameoftheDepartmentBeijingForestStudio

北京理工大学信息系统及安全对抗实验中心部门名称

基于神经网络的源代码表示方法

Graphneuralnetworksforsourcecoderepresentation

陈传涛硕士研究生

2020年07月19日

内容提要

•背景简介

•基本概念

•算法原理

•优劣分析

•应用总结

•参考文献

2

背景简介

•预期收获

–1.了解源代码表示的基本概念和常见方法

–2.理解基于神经网络的源代码表示算法的基本思想

–3.了解源代码表示的实际应用

3

基本概念

背景简介

背景简介

•程序分析

–程序分析指的是对计算机程序进行人工或自动化的分析，以确认或发现其特性，

如性能、正确性、安全性等。

源代码分析

静态分析

可执行文件分析闫晗

程序分析

模糊测试焦龙龙

动态分析动态污点分析丁庸、王沛冉

符号执行曹伟、柯懂湘

5

背景简介

•源代码分析

克隆检测

词法分析

语法分析恶意代码检测漏洞挖掘

语义分析漏洞评估

源代码特征源代码分析

属性分析任务漏洞分析漏洞利用

控制流分析

漏洞修复

数据流分析代码摘要

函数名预测

函数调用关系

代码推断