Computer security
可以系統化的檢查源代碼中是否有已知的计算机安全隐患，可以減少大量代碼審查的工作。