![ZipBombの影響を受けるコード例
class Unzip {
static final int BUFFER = 512;
public static void main(String[] args) throws FileNotFoundException,IOException {
BufferedOutputStream dest = null;
ZipInputStream zis =
new ZipInputStream(new BufferedInputStream(new FileInputStream(args[0])));
ZipEntry entry;
while ((entry = zis.getNextEntry()) != null){
System.out.println(“Extracting: “ + entry);
int count;
byte data[] = new byte[BUFFER];
FileOutputStream fos = new FileOutputStream(entry.getName());
dest = new BufferedOutputStream(fos, BUFFER);
while ((count=zis.read(data,0,BUFFER)) != -1){
dest.write(data, 0, count);
}
dest.flush();
dest.close();
}
zis.close();
}
}
4](https://image.slidesharecdn.com/tokyo2-handson-commentary-20130228-130318000835-phpapp01/85/Java-2-4-320.jpg)
![修正コード例(1/2)
class Unzip {
static final int TOOBIG = 10000000;
static final int BUFFER = 512;
public static void main(String[] args) throws FileNotFoundException,IOException {
if (args.length <= 0) return;
BufferedOutputStream dest = null;
ZipInputStream zis =
new ZipInputStream(new BufferedInputStream(new FileInputStream(args[0])));
ZipEntry entry;
while ((entry = zis.getNextEntry()) != null){
if (entry.getSize () > TOOBIG) {
throw new IllegalStateException(
“uncompressed size too huge: “ + entry.getName());
}
if (entry.getSize() == -1){
throw new IllegalStateException(“uncompressed size unknown”);
}
(…次のページに続く…)
10](https://image.slidesharecdn.com/tokyo2-handson-commentary-20130228-130318000835-phpapp01/85/Java-2-10-320.jpg)
![修正コード例(2/2)
(… 前のページから…)
System.out.println(“Extracting: “ + entry);
int count;
byte data[] = new byte[BUFFER];
Path path = FileSystems.getDefault().getPath(entry.getName());
Files.createFile(path); // exception if file already exists
FileOutputStream fos = new FileOutputStream(entry.getName());
dest = new BufferedOutputStream(fos, BUFFER);
while ((count=zis.read(data,0,BUFFER)) != -1){
dest.write(data, 0, count);
}
dest.flush();
dest.close();
}
zis.close();
}
}
11](https://image.slidesharecdn.com/tokyo2-handson-commentary-20130228-130318000835-phpapp01/85/Java-2-11-320.jpg)
![A. 以下のコードの問題点は何か?
AltConst のサブクラスをつくることにより, checkarg() による
チェックの後でフィールド i の値を変更できる.
class attack extends AltConst {
attack(int arg) {
super();
this.i = arg;
}
public static void main(String[] args) {
AltConst a = new attack(101);
System.out.println("attack.i: " + a.i);
}
}
15](https://image.slidesharecdn.com/tokyo2-handson-commentary-20130228-130318000835-phpapp01/85/Java-2-15-320.jpg)
![A. 以下のコードの問題点は何か?
AltConst のサブクラスをつくることにより, checkarg() による
チェックの後でフィールド i の値を変更できる.
class attack extends AltConst {
attack(int arg) {
super();
サブクラス化による攻撃への対策を
this.i = arg;
行え!!
}
public static void main(String[] args) {
AltConst a = new attack(101);
System.out.println("attack.i: " + a.i);
}
}
16](https://image.slidesharecdn.com/tokyo2-handson-commentary-20130228-130318000835-phpapp01/85/Java-2-16-320.jpg)
Javaセキュアコーディングセミナー東京第2回演習の解説
- 1. Javaセキュアコーディングセミナー東京 第2回 数値データの取扱いと入力値の検証 演習解説 2012年10月14日(日) JPCERTコーディネーションセンター 脆弱性解析チーム 戸田 洋三 1
- 2. ‣Hands-on Exercises ‣ サンプルコード Unzip を修正しよう ‣ サンプルコード AltConst を修正しよう 2
- 3. Hands-on Exercise(1) ‣サンプルコード Unzip を ‣修正しよう 3
- 4. ZipBombの影響を受けるコード例 class Unzip { static final int BUFFER = 512; public static void main(String[] args) throws FileNotFoundException,IOException { BufferedOutputStream dest = null; ZipInputStream zis = new ZipInputStream(new BufferedInputStream(new FileInputStream(args[0]))); ZipEntry entry; while ((entry = zis.getNextEntry()) != null){ System.out.println(“Extracting: “ + entry); int count; byte data[] = new byte[BUFFER]; FileOutputStream fos = new FileOutputStream(entry.getName()); dest = new BufferedOutputStream(fos, BUFFER); while ((count=zis.read(data,0,BUFFER)) != -1){ dest.write(data, 0, count); } dest.flush(); dest.close(); } zis.close(); } } 4
- 5. コード例 Unzip の問題点 (A) 解凍後のサイズをチェックしていない (B) 例外 ArrayIndexOutOfBoundsException が発生 する可能性がある (C) 既存ファイルを上書きする可能性がある (D) その他? これらの問題点を解決せよ!! 5
- 6. コード例 Unzip の問題点 (A) 解凍後のサイズをチェックしていない (B) 例外 ArrayIndexOutOfBoundsException が発生 する可能性がある (A)の対応 (C) 既存ファイルを上書きする可能性がある セミナ内で説明済み (D) その他? 6
- 7. コード例 Unzip の問題点 (A) 解凍後のサイズをチェックしていない (B) 例外 ArrayIndexOutOfBoundsException が発生 する可能性がある (C) 既存ファイルを上書きする可能性がある (B)の対応 (D) その他? 例外 ArrayIndexOutOfBoundsException の発生原因は? ⇒ コマンドライン引数にファイル名が与えられることを想定して いるため, 引数がない場合に例外が発生する ⇒ 引数の数をチェックしましょう 7
- 8. コード例 Unzip の問題点 (A) 解凍後のサイズをチェックしていない (B) 例外 ArrayIndexOutOfBoundsException が発生 する可能性がある (C) 既存ファイルを上書きする可能性がある (B)の対応 (D) その他? 例外 ArrayIndexOutOfBoundsException の発生原因は? ⇒ コマンドライン引数にファイル名が与えられることを想定して いるため, 引数がない場合に例外が発生する ⇒ 引数の数をチェックしましょう あるいは… 引数の数だけ処理を繰り返す (引数がなければそのまま終了) 8
- 9. コード例 Unzip の問題点 (A) 解凍後のサイズをチェックしていない (B) 例外 ArrayIndexOutOfBoundsException が発生 する可能性がある (C) 既存ファイルを上書きする可能性がある (D) その他? (C)の対応 ファイル出力の前に, すでにファイルが存在していないかどう かチェックする 9
- 10. 修正コード例(1/2) class Unzip { static final int TOOBIG = 10000000; static final int BUFFER = 512; public static void main(String[] args) throws FileNotFoundException,IOException { if (args.length <= 0) return; BufferedOutputStream dest = null; ZipInputStream zis = new ZipInputStream(new BufferedInputStream(new FileInputStream(args[0]))); ZipEntry entry; while ((entry = zis.getNextEntry()) != null){ if (entry.getSize () > TOOBIG) { throw new IllegalStateException( “uncompressed size too huge: “ + entry.getName()); } if (entry.getSize() == -1){ throw new IllegalStateException(“uncompressed size unknown”); } (…次のページに続く…) 10
- 11. 修正コード例(2/2) (… 前のページから…) System.out.println(“Extracting: “ + entry); int count; byte data[] = new byte[BUFFER]; Path path = FileSystems.getDefault().getPath(entry.getName()); Files.createFile(path); // exception if file already exists FileOutputStream fos = new FileOutputStream(entry.getName()); dest = new BufferedOutputStream(fos, BUFFER); while ((count=zis.read(data,0,BUFFER)) != -1){ dest.write(data, 0, count); } dest.flush(); dest.close(); } zis.close(); } } 11
- 12. Hands-on Exercise(2) ‣サンプルコード AltConst を ‣修正しよう 12
- 13. Q. 以下のコードの問題点は何か? class AltConst { int i; AltConst(){ this(10); } AltConst(int i0){ if (checkarg(i0)) { this.i = i0; } } boolean checkarg(int i) throws IllegalArgumentException { if (i<0 || 100<i) { throw new IllegalArgumentException("arg should be positive < 100."); } return true; (A) コンパイルエラーに なる } } (B) checkarg() による引数のチェックは役に立たない (C) コンストラクタが二つ定義されている (D) フィールド i に初期化子がない 13
- 14. A. 以下のコードの問題点は何か? class AltConst { int i; AltConst(){ this(10); } AltConst(int i0){ if (checkarg(i0)) { this.i = i0; } } boolean checkarg(int i) throws IllegalArgumentException { if (i<0 || 100<i) { throw new IllegalArgumentException("arg should be positive < 100."); } return true; (A) コンパイルエラーに なる } } (B) checkarg() による引数のチェックは役に立たない (C) コンストラクタが二つ定義されている (D) フィールド i に初期化子がない 14
- 15. A. 以下のコードの問題点は何か? AltConst のサブクラスをつくることにより, checkarg() による チェックの後でフィールド i の値を変更できる. class attack extends AltConst { attack(int arg) { super(); this.i = arg; } public static void main(String[] args) { AltConst a = new attack(101); System.out.println("attack.i: " + a.i); } } 15
- 16. A. 以下のコードの問題点は何か? AltConst のサブクラスをつくることにより, checkarg() による チェックの後でフィールド i の値を変更できる. class attack extends AltConst { attack(int arg) { super(); サブクラス化による攻撃への対策を this.i = arg; 行え!! } public static void main(String[] args) { AltConst a = new attack(101); System.out.println("attack.i: " + a.i); } } 16
- 17. サブクラス化による攻撃への対策 A) サブクラスをつくれないように final ク ラスにする B) 初期化後の i フィールドを変更されない よう final 宣言あるいは private 宣言する B)の場合, checkarg() もオーバーライ ドされないように final 宣言すべし 17
- 18. Altconst クラスに対するコメント そもそも checkarg() メソッドって検証成 功で true を返し, 検証失敗では例外を投 げるってなんかアンバランスだよね. 検証結果を true/false で返すか, void型の メソッドにして検証失敗のときは例外を 投げるってしたほうがきれいだよね. 例外を投げるタイプだと, オブジェクトの 初期化が途中終了しちゃうからファイナ ライザ攻撃の危険あるかもね. 18