通過自(zì)動化分(fēn)析工(gōng)具和人(rén)工(gōng)審查的組合審計(jì)方式，對程序源代碼進行全面的檢查、分(fēn)析， 充分(fēn)挖掘其中存在的安全隐患和規範性缺陷問(wèn)題，以及由此引發的安全漏洞，并提供代碼修訂措施和建議(yì)。