关键词: 程序静态分析,函数调用,代码安全 中图法分类号TP314文献标识码A

Abstract: Program Static Analysis is a method,of verificating whether code could meet the specification,safety,reliabili-ty,maintainability and other indicators with scanning the program code through lexical analysis,syntax analysis and control flow analysis techno-logy,and without running the code actually．This paper presents the characteristics,technologies,implementations of static code analysis,and then explain the methods of parsing function calls in C language static code analysis.

Key words: Static code analysis,Function call,Code security