论文部分内容阅读
本文研究了C/C++程序安全检查中的函数依赖分析。给出了一种低损失解除递归函数依赖的算法。该算法通过分析程序语义，将函数调用划分为有条件调用和必然调用。利用这些信息生成条件性程序调用图，并在图中低损失地解除递归函数依赖关系，从而得到能引导跨过程静态安全检查的函数依赖拓扑序列。此外，还设计并实现了一种精确性可调节的函数指针分析算法。该算法依据函数调用上下文的经验性信息引导分析过程，尽量提高分析效率并降低时间开销。是一种介于上下文敏感与非敏感之间，控制流敏感以及域敏感的算法。通过修改经验性信息的结构可以得到两种分析精度不同的方法。