文件名称:论文研究-基于静态分析技术的源代码安全检测模型.pdf
文件大小:175KB
文件格式:PDF
更新时间:2022-08-11 12:01:10
数据流分析,控制流分析,别名分析,静态代码分析,源代码
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。
文件名称:论文研究-基于静态分析技术的源代码安全检测模型.pdf
文件大小:175KB
文件格式:PDF
更新时间:2022-08-11 12:01:10
数据流分析,控制流分析,别名分析,静态代码分析,源代码
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。