基于静态分析技术的源代码安全检测模型* (2008年)

【文件属性】：

文件名称：基于静态分析技术的源代码安全检测模型* (2008年)

文件大小：216KB

文件格式：PDF

更新时间：2024-06-07 06:58:44

工程技术 论文

介绍了当前主流的静态代码分析技术，在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术，并借鉴了编译器中数据流和控制流分析的思想，获取上下文关联的数据信息，从而更加准确地分析代码中存在的安全问题。