参考文献:
一种基于代码静态分析的缓冲区溢出检测算法
王雅文1 姚欣洪1 宫云战1 杨朝红2
1(北京邮电大学网络与交换技术国家重点实验室 北京 100876) 2(装甲兵工程学院信息工程系 北京 100072) ([email protected])
缓冲区溢出部分
需要注意的函数
初步设想流程
- 用cflow获取函数调用树及其他信息(不使用
-b
) - 搜索关键函数:如果有,找出调用函数
- 搜索参数的声明(参数列表在cflow中获取)
- 判断有无可疑:
区间运算相关:
函数摘要技术属于为了减少开销的优化方法,在本轻量化应用下暂不考虑.