通过自动化分析工具和人工审查的组合审计方式，对程序源代码进行全面的检查、分析， 充分挖掘其中存在的安全隐患和规范性缺陷问题，以及由此引发的安全漏洞，并提供代码修订措施和建议。