EN JP CN

SV.SENSITIVE.DATA

SV.SENSITIVE.DATA

このエラーは、機密情報が暗号化なしで保存または送信された場合に報告されます。

脆弱性とリスク

パスワードや社会保障番号などの機密データが暗号化されていない場合、攻撃者はそれを読んだり修正したりすることができます。

機密データを暗号化すると、攻撃者はデータを読み取ったり変更したりする前にデータを復号化する必要があります。

コード例

脆弱コード例 1

1    package com.company;
2    import java.io.IOException;
3    import java.io.OutputStream;
4    public class WriteInfo {
5        public void write(OutputStream os, int ssn) throws IOException {
6            os.write(ssn);
7        }
8    }

機密値がストリームに書き込まれると、Klocwork は欠陥を生成します。この例では、社会保障番号が機密値です。

修正コード例 1

1    package com.company;
2    import java.io.IOException;
3    import java.io.OutputStream;
4    public class WriteInfo {
5        public void write(OutputStream os, int ssn) throws IOException {
6            int encryptedSsn = encrypt(ssn);
7            os.write(encryptedSsn);
8        }
9        private int encrypt(int value) {
10           int encrypted;
11           // ... do encryption
12           return encrypted;
13       }
14   }

次の .jkb ファイルを適用します。これは、「encrypt()」メソッドが安全なデータを返すことを Klocwork 解析エンジンに通知します。

1    package com.company;
2    @Bind("SV.SENSITIVE.DATA")
3    class Writer {
4        @Check("return") private int encrypt(int value);
5    }

この修正された例では、機密値 (社会保障番号) は書き込まれる前に暗号化されます。この修正された例では、Klocwork は欠陥を生成しません。

脆弱コード例 2

1    package com.company;
2    import java.io.IOException;
3    import java.io.Writer;
4    public class WriteInfo {
5        public void write(Writer w, User user) throws IOException {
6            String value = user.getPassword();
7            w.write(value);
8        }
9        public static class User {
10           public String getPassword() {
11               return "pw";
12           }
13       }
14   }

機密値が Writer オブジェクトに書き込まれると、Klocwork は欠陥を生成します。この例では、パスワードは「getPassword() 」メソッドから取得され、そして書き込まれます。

修正コード例 2

1    package com.company;
2    import java.io.IOException;
3    import java.io.Writer;
4    public class WriteInfo {
5        public void write(Writer w, User user) throws IOException {
6            String encryptedPassword = encrypt(user.getPassword());
7            w.write(encryptedPassword);
8        }
9        private String encrypt(String value) {
10           String encrypted;
11           // ... do encryption
12           return encrypted;
13       }
14       public static class User {
15           public String getPassword() {
16                return "pw";
17           }
18       }
19   }

次の .jkb ファイルを適用します。これは、「encrypt()」メソッドには安全なデータが含まれていることを Klocwork 解析エンジンに通知します。

1    package com.company;
2    @Bind("SV.SENSITIVE.DATA")
3    class Writer {
4        @Check("return") private String encrypt(String value);
5    }

この修正された例では、機密値は書き込まれる前に暗号化されます。また、変数名「encryptedPassword」は、コードがプレーンテキストのパスワードを保存してないことを明確に示すために使用されています。

構成可能なチェッカーでの脆弱コード例

このチェッカーは、dob、ssn、password などの機密データのデフォルトリストで構成されています。このリストは、すべてを含むものではなく、構成可能であることを意図しています。機密データは、.jkb ファイルの @CheckerParam 注釈を使用して構成できます。ユーザーがカスタム @CheckerParam オプションを指定すると、デフォルトの組み込み型の機密用語リストはもはや使用されなくなります。

この例では、ユーザーはソフトウェアのドメイン固有の知識を持ち、患者の「name」、「dob」、「address」は機密のデータタイプであることを確認しました。次の注釈を含む .jkb ファイルは、すでにプロジェクトの構成にロードされています。

1    @CheckerParam("SV.SENSITIVE.DATA", "name,dob,address")
2
3    package com.company;
4    @Bind("SV.SENSITIVE.DATA")
5    class Writer {
6        @Check("return") public String encrypt(String value);
7    }

上の .jkb ファイルは、dob、address、name が機密値であること、また、「encrypt()」メソッドが安全なデータを返すことを Klocwork 解析エンジンに通知します。

脆弱コード例 3

1    package com.company;
2    import java.io.IOException;
3    import java.io.Writer;
4    public class WritePatient {
5        public void writePatientInfo(Writer writer, Patient patient) throws IOException {
6            StringBuilder sb = new StringBuilder();
7            sb.append(patient.getName());
8            sb.append(';');
9            sb.append(patient.getDob());
10           sb.append(';');
11           sb.append(patient.getAddress());
12           writer.write(sb.toString());
13       }
14       public static class Patient {
15           public String getName() { return "John Doe"; }
16           public String getDob() { return "1900-01-01"; }
17           public String getAddress() { return "123 Main St., Cityville, NY 12345"; }
18       }
19   }

Klocwork は、暗号化されていない名前、暗号化されていない生年月日、暗号化されていない住所の 3 つの欠陥を上のコードで検出します。

修正コード例 3

1    package com.company;
2    import java.io.IOException;
3    import java.io.Writer;
4    public class WritePatient {
5        public void writePatientInfo(Writer writer, Patient patient) throws IOException {
6            StringBuilder sb = new StringBuilder();
7            sb.append(encrypt(patient.getName()));
8            sb.append(';');
9            sb.append(encrypt(patient.getDob()));
10           sb.append(';');
11           sb.append(encrypt(patient.getAddress()));
12           writer.write(sb.toString());
13       }
14       public String encrypt(String value) {
15           String encrypted;
16           // .. do encryption
17           return encrypted;
18       }
19       public static class Patient {
20           public String getName() { return "John Doe"; }
21           public String getDob() { return "1900-01-01"; }
22           public String getAddress() { return "123 Main St., Cityville, NY 12345"; }
23       }
24   }

関連チェッカー

拡張機能

このチェッカーは、.jkb ファイルの @CheckerParam と @Check オプションを使用して機密値を探すように調整できます。このチェッカーを調整してカスタムの機密値を追加すると、デフォルトは使用されなくなります。それらも含めたい場合は、それらをカスタム値とともに .jkb ファイルに再追加することができます。詳細については、Java 解析のチューニングを参照してください。

デフォルト機密値

デフォルトで使用される機密値は、dob、ssn、pin、password、password_buffer、pwd、pwd_buffer、pwdbuf、passwd です。