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

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