参考文献:
一种基于代码静态分析的缓冲区溢出检测算法
王雅文1 姚欣洪1 宫云战1 杨朝红2
1(北京邮电大学网络与交换技术国家重点实验室 北京 100876) 2(装甲兵工程学院信息工程系 北京 100072) (wangyawen@bupt.edu.cn)
缓冲区溢出部分
需要注意的函数

初步设想流程

- 用cflow获取函数调用树及其他信息(不使用
-b
) - 搜索关键函数:如果有,找出调用函数
- 搜索参数的声明(参数列表在cflow中获取)
- 判断有无可疑:
区间运算相关:


函数摘要技术属于为了减少开销的优化方法,在本轻量化应用下暂不考虑.