一種應(yīng)用程序安全檢測方法、裝置、電子設(shè)備和存儲介質(zhì)
基本信息
申請?zhí)?/td> | CN202110286737.4 | 申請日 | - |
公開(公告)號 | CN113010890A | 公開(公告)日 | 2021-06-22 |
申請公布號 | CN113010890A | 申請公布日 | 2021-06-22 |
分類號 | G06F21/56 | 分類 | 計算;推算;計數(shù); |
發(fā)明人 | 李昊峰;孟海寧;鄭恒杰;曹立慶;陸杰;李煉;高琳 | 申請(專利權(quán))人 | 中科天齊(山西)軟件安全技術(shù)研究院有限公司 |
代理機(jī)構(gòu) | 北京三聚陽光知識產(chǎn)權(quán)代理有限公司 | 代理人 | 胡曉靜 |
地址 | 030032 山西省太原市山西省示范區(qū)太原唐槐園區(qū)汾東大街10號A棟501室 | ||
法律狀態(tài) | - |
摘要
摘要 | 本申請?zhí)峁┮环N應(yīng)用程序安全檢測方法、裝置、電子設(shè)備和存儲介質(zhì),該方法包括:獲取待檢測應(yīng)用程序;根據(jù)所述待檢測應(yīng)用程序構(gòu)建過程間控制流程圖;利用預(yù)設(shè)的IFDS算法對所述過程間控制流程圖做可達(dá)性分析,以生成對應(yīng)的路徑邊;在進(jìn)行可達(dá)性分析過程中,根據(jù)得到的路徑邊所對應(yīng)的語句類型,確定常用路徑邊,將所述常用路徑邊存儲至內(nèi)存。上述方案提供的安全檢測方法,通過僅將常用路徑邊存儲至內(nèi)存,節(jié)省了內(nèi)存資源,提高了IFDS算法的擴(kuò)展性。 |
