C源代码静态安全检查技术

摘要

对源代码进行安全检查就是在程序运行之前通过分析源程序发现潜在的安全缺陷.该文分析了C语言源程序中可能发现的安全问题,介绍了目前静态代码安全检查的技术和方法以及面临的困难,最后,给出了一些提高程序安全性的建议.