Secure Code Analysis

這篇論文最有價值的地方，不是又做出一個多代理漏洞偵測系統，而是把問題從「這段 code 像不像漏洞」改寫成「它有沒有違反這個專案真正該遵守的安全契約」，再用 Gherkin behavioral specification 把那個契約釘清楚。