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

• 作者: 江梦涛 荆琦
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 程序静态分析 函数调用 代码安全
• 年，卷（期）: 2014,（z1）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 442-444
• 页数: 3页
• 分类号: TP314
• 字数: 3924字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	荆琦	北京大学软件与微电子学院	7	58	4.0	7.0
2	江梦涛	北京大学软件与微电子学院	2	13	2.0	2.0