cafebabe.jp 日々のよしなしごとをのたまうブログ．

増分難読化

Dotfuscator や Dash-O に代表される難読化ツールに搭載されている機能の一つで，最近見る難読化ツールにはよく見られる．

難読化はプログラムコードを読みにくく変換する．そして，その変換作業において，プログラムコード上の多くの様々な情報と整合性を持たせて，変換後のプログラムも実行に支障がでないようにする必要がある．そのため，従来の難読化ツールはプログラムの実行に要する全てのファイルを与えられなければ正常に実行できる難読化後のプログラムを得ることはできなかった．

この増分難読化は上記の従来の制限を取り外すもので，難読化ツールにプログラム全体を常に与える必要はないものである．難読化処理にも時間がかかるため，プログラムの規模が大きくなると，毎回全てのプログラムコードを難読化していると，オーバーヘッドが無視できない場合がでてくる．そのため，変更が行われた部分のみを難読化ツールに与えて実行可能なプログラムを得る機構である．

具体的な方法として，名前難読化であれば，名前をどのように変換したのかのマッピング情報を同時に与えることで可能である．この増分難読化の実装はツールに依存し，全ての難読化手法で有効であるとは限らない．

• Incremental Obfuscation (MSDN)
• Incremental Java Obfuscation (Zelix Klass Master)
• Incremental Obfuscation (Smokescreen)
• Incremental Obfuscation (Allatori Java Obfuscator)

 

難読化手法 ― 演算子の変換によるデータ符号化

データを隠すための難読化手法のひとつにデータ（定数値）を予め一次式Sで変換しておき，その定数値が代入された変数の研鑽結果もSを満たすように式を変換する難読化手法．

例えば，定数値c を S = 2 c + 6という一次式で変換し，その変換結果をc'とする．そして，ソースコード中に現れる全てのcをc'にする．しかし，元の値cを含む式S₁ = 3 c + 9のcを単純にc'に置き換えただけでは計算結果が本来のものとは異なるため，ソフトウェア全体の動作も異なる恐れがある．そのため，計算結果もSを満たすように式を変換する．変換結果はS₁'= 3 c' + 6となり，計算結果は本来の計算結果 r₁に対して S の変換を行った値となる．

この難読化手法では計算の途中に元のデータが一切出現しないことがメリットであるが，数値のオーバーフローについては手法として考慮されていないため，オーバーフローを起こる場合は難読化適用者側で int 型を long 型に変換するなどを行う必要がある．また，最終的に値を出力に用いる場合，必ず復号の式(先ほどの例ならば c = (1/2) * c' - 3)が現れるため，適用するときには注意が必要である．

 

難読化手法 ― If 文をtry-catchに置換

If文を隠すため，If文の代わりにtry-catch節を使う難読化手法．ダミーの例外クラスを作成し，try 節の中で作成した例外クラスを投げる．投げられた例外クラスに応じた catch 節で条件分岐を行う．

作成された例外クラス間の継承関係が複雑なほど，また，どの例外クラスのインスタンスが作成されたのかがわからないほど制御フローがわかりにくくなる．実際に作成される例外クラスはOpaque Predicateで隠すことになるだろう．

例

難読化前

class Example{
  public void m(){
    int i = 0;
    if(some condition) i = 3;
    else               i = 0;
  }
}

難読化後

class BranchException extends Exception{ ... }
class E1 extends BranchException{ ... }
class E2 extends BranchException{ ... }
class E3 extends BranchException{ ... }
class E4 extends BranchException{ ... }
class E5 extends BranchException{ ... }
class RIITCBObfuscationExample{
  public void m{
    int i = 0;
    try{
      BranchException e = new BranchException();
      if(opaque predicate 1)      e = new E1();
      else if(opaque predicate 2) e = new E2();
      else if(opaque predicate 3) e = new E3();
      else if(opaque predicate 4) e = new E4();
      else if(opaque predicate 5) e = new E5();
      throw e;
    }
    catch(E1 e1){ i = 1; }
    catch(E2 e2){ i = 2; }
    catch(E3 e3){ i = 3; }
    catch(E4 e4){ i = 4; }
    catch(E5 e5){ i = 5; }
    catch(BranchException e){ i = 0; }
  }
}

 

難読化手法 ― ダミー命令追加

プログラム中にダミーの命令(bogus code)を追加する難読化手法．手法としては非常に単純で実装も難しいものではない．さらに，プログラムの意味が理解できれば逆難読化もそれほど難しいものではないと思う．しかし，その反面，この難読化手法が電子透かしの破壊やバースマークの改変といった攻撃として使われると，高い効果を出す場合が多い．

この難読化手法は目的によって追加するダミーの命令は異なっているが，良く行われるものとしては，副作用のないメソッドの呼び出しや不要な計算式の追加，必要のないフィールド変数，ローカル変数の宣言とそれらに対する処理などが考えられる．また，ダミーの命令ではなく，ダミーのデータを挿入することも考えられる．

 

難読化手法 ― Opaque Predicate

難読化に用いられたり，電子透かしを入れる場所を確保するために使われたりする技術．常に真（もしくは偽）となる条件文を加え，実行されない部分にダミーのコードを入れておく手法．

ソースコード上でこのような条件文を加えると最適化で削除される可能性がある．そのため，バイナリに直接条件文とダミーコードを挿入したり，静的に真偽が判断できないような条件にしたりと色々考えられている．

この Opaque Predicate でよく使われるのは以下のような実数の特徴を用いたものである．

(v + (v + 1)) / 2 == 0

ある整数とそれに1を足した数を足し合わせると必ず奇数になる．そのため，この条件は常に偽となる．

(v * v) >= 0

ある整数の2乗はかならず正の数となる．そのため，この条件は常に真となる．

参考文献

• Geneviève Arboit, "A Method for Watermarking Java Programs via Opaque Predicates," In The Fifth International Conference on Electronic Commerce Research (ICECR-5), 2002
• Christian Collberg, Clark Thomborson, Douglas Low, "Obfuscation techniques for enhancing software security," United States Patent 6,668,325, June 1998, Published: December 20, 2003. http://www.freepatentsonline.com/6668325.html