C语言静态代码分析中的调用关系提取方法

摘要：

程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术.首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述,然后通过一个实例讲解C语言静态代码分析中函数与变量的调用关系的实现方法,总结了现今在C语言调用关系分析中可以借鉴的工具与实现方式.

关键词：程序静态分析、函数调用、代码安全

所属期刊栏目：41

分类号：TP314(计算技术、计算机技术)

资助基金：“核高基”科技重大专项:操作系统内核分析和安全性评估2012ZX01039-004

在线出版日期：2014-08-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：442-444