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

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