一种利用数据流分析算法分析C代码中的内存安全的方法

摘要

本发明提供了一种利用数据流分析算法分析C代码中的内存安全的方法。将指令定义成形式化后的指令集，进行如下操作，静态分析出代码需要并给指针添加标记；将代码转化成抽象语法树，并对其每一个指令进行类型检查，同时对涉及到的指针权限转移或借用语句进行修改，使之在静态单赋值中有所区分；对抽象语法树进行线性化，得到静态单赋值形式的控制流图，进行数据流分析，得到收敛的权限映射表的结果；利用数据流分析算法迭代稳定后的结果，利用错误检查函数检查是否存在内存安全问题。其中本发明的有益效果是：基于C语言中一系列常见的涉及内存的指令，定义了形式化后的指令集，定义了一系列内存错误检测方法，便于检测内存安全。