關于源代碼審核，描述正確的是（）
A.源代碼審核過程遵循信息安全保障技術框架模型，執(zhí)行時應一步一步嚴格執(zhí)行
B.源代碼審核有利于發(fā)現軟件編碼中存在的安全問題，相關的審核工具既有商業(yè)開源工具
C.源代碼審核如果想要有效率高，則主要要依賴人工審核而不是工具審核，因為人工智能的，需要人的腦袋來判斷
D.源代碼審核能起到很好的安全保證作用，如果執(zhí)行了源代碼審核，則不需要安全測試