基于順序、符號執(zhí)行和單點邏輯的源代碼加固方法及裝置

基本信息

申請?zhí)?/td> CN201810146260.8 申請日 -
公開（公告）號 CN108460253B 公開（公告）日 2021-11-19
申請公布號 CN108460253B 申請公布日 2021-11-19
分類號 G06F21/14（2013.01）I 分類 計算；推算；計數(shù);
發(fā)明人 闞志剛;陳彪;王文洋;李世杰;尉爽生;盧佐華 申請（專利權(quán)）人 北京梆梆安全科技有限公司
代理機(jī)構(gòu) 北京國昊天誠知識產(chǎn)權(quán)代理有限公司 代理人 許志勇
地址 100083北京市海淀區(qū)學(xué)院路30號天工大廈A座20層
法律狀態(tài) -

摘要

摘要 本申請公開了一種基于順序、符號執(zhí)行和單點邏輯的源代碼加固方法及裝置，可以將所述原始源代碼的代碼塊之間的跳轉(zhuǎn)邏輯，通過所述跳轉(zhuǎn)表中的代碼塊標(biāo)記實現(xiàn)，以生成加固后的第一源代碼；確定所述第一源代碼中需要保護(hù)的目標(biāo)變量；在所述第一源代碼中插入至少一個中間變量，并將所述第一源代碼中的部分所述目標(biāo)變量替換為任一所述中間變量，得到加固后的第二源代碼；使用不透明謂詞對所述第二源代碼的函數(shù)中的條件變量進(jìn)行模糊處理，得到所述加固后的第三源代碼。該方法及裝置可以提高防逆向分析能力。