一種約束制導(dǎo)的機器學(xué)習(xí)框架漏洞檢測方法

摘要： 隨著機器學(xué)習(xí)在社會各領(lǐng)域中自主決策場景的廣泛應(yīng)用,人們對機器學(xué)習(xí)框架中潛在漏洞的擔(dān)憂也在日益增加.然而,由于其復(fù)雜的實現(xiàn),針對框架的系統(tǒng)化、自動化測試成為一項艱巨的任務(wù).現(xiàn)有對機器學(xué)習(xí)框架測試的研究在生成有效測試數(shù)據(jù)方面尚不成熟,導(dǎo)致測試數(shù)據(jù)無法通過合法性校驗并因此無法檢測到目標漏洞.本文提出了ConFL,一種基于約束的機器學(xué)習(xí)框架模糊測試工具.ConFL能夠自動從框架源代碼中...