沈阳航空航天大学毕业设计（论文）研究.docVIP

C语言源代码静态检测工具设计与实现 学 院 计算机学院 专 业 班 级 学 号 姓 名 指导教师 负责教师 沈阳航空2014年6月摘 要 关键词：C源代码；静态代码分析 Development of C language source code static analysis tool Abstract With the development of the information society, the problem of Internet insecurity is becoming more and more serious. Many of these problems are due to the flaw of the software itself and therefore cause huge economic losses. On one hand, it is because of the programmer’s negligence on software producing, and on the other hand, it is also because the relative languages dose not provide a complete security mechanism. A