静态分析缓冲区溢出漏洞和格式化字符串漏洞逻辑备查备忘

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

缓冲区溢出部分

需要注意的函数

初步设想流程

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

区间运算相关:

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