基于静态分析的C语言安全规则检查方法

摘要

本发明涉及一种基于静态分析的C语言安全规则检查方法，其包括以下步骤：1)检查C语言的类型，避免强制类型转换的发生，禁止对通用指针类型的声明；2)规定全局变量和局部变量不可同名，全局变量与函数的形式参数不可重名；3)对控制流语句的循环变量做限制；4)强化C语言的声明和定义；5)对源代码作词法、语法、语义的分析，找出源代码中不符合上述规定的地方。本发明的优点是：1)在不需要执行代码的前提下找到可能的C语言编程上的漏洞；2)有效弥补C语言在软件工程中安全性不足的缺陷。