ソフトウェア難読化方法の信頼性の実証的評価

本研究では，ソフトウェアの保護に用いられるソフトウェア難読化方法の信頼性（プログラムコードに不具合を生じさせずに解析を困難にできる性質）を評価する方法を検討している．初年度となる2022年度において得られた主な成果は，(1) 信頼性の高い難読化方法かを判断するための指標として「機能維持性」と「コード変形性」の2つを提案したこと，および，(2) それらの指標を評価するためのシステムを試作し，既存のツールに実装された難読化方法を対象にした信頼性評価に関する実験を行ったこと，の2点である．「機能維持性」は，「様々なコードに対して，不具合を生じさせることなく元来の機能を維持して難読化変換を行うことができる度合い」を表す指標であり，多数のコードを難読化ツールに与えたときに，難読化前後で同一の入出力関係を保っているコードの割合によって評価する．「コード変形性」は，「様々なコードに対して，コードの内容を変化させた度合い」を表す指標であり，多数のコードを難読化ツールに与えたときの，各コードの難読化前後のコード間の類似度をもとに評価する．これら2つの指標を組み合わせて，信頼性の高い難読化方法かを判断する．試作したシステムを用いた実験では，実際に公開されている2つの難読化ツール（TigressおよびObfuscator-LLVM）において実装されている難読化方法を対象に，機能維持性とコード変形性の評価を行った．また，実験結果に基づいて，実験対象となった難読化方法の信頼性について議論した．2022年度に得られた成果については，国内のワークショップや国際会議において発表を行った．

本研究では，ソフトウェアの保護に用いられるソフトウェア難読化方法の信頼性（プログラムコードに不具合を生じさせずに解析を困難にできる性質）を評価する方法を検討している．初年度となる2022年度において得られた主な成果は，(1) 信頼性の高い難読化方法かを判断するための指標として「機能維持性」と「コード変形性」の2つを提案したこと，および，(2) それらの指標を評価するためのシステムを試作し，既存のツールに実装された難読化方法を対象にした信頼性評価に関する実験を行ったこと，の2点である．「機能維持性」は，「様々なコードに対して，不具合を生じさせることなく元来の機能を維持して難読化変換を行うことができる度合い」を表す指標であり，多数のコードを難読化ツールに与えたときに，難読化前後で同一の入出力関係を保っているコードの割合によって評価する．「コード変形性」は，「様々なコードに対して，コードの内容を変化させた度合い」を表す指標であり，多数のコードを難読化ツールに与えたときの，各コードの難読化前後のコード間の類似度をもとに評価する．これら2つの指標を組み合わせて，信頼性の高い難読化方法かを判断する．試作したシステムを用いた実験では，実際に公開されている2つの難読化ツール（TigressおよびObfuscator-LLVM）において実装されている難読化方法を対象に，機能維持性とコード変形性の評価を行った．また，実験結果に基づいて，実験対象となった難読化方法の信頼性について議論した．2022年度に得られた成果については，国内のワークショップや国際会議において発表を行った．