91郭肱利

ファジングテストは畳して��い�k�襪任呂△蠅泙擦鵝２師�な秘薦や嚠豚しない秘薦で�g廾をテストしていなければ、及美宀がシステムを�g佩するだけで樋泣を��喘できる辛嬬來があります。ファジングテスト�┐泙燭魯侫．献鵐娃�を佩うことで、捻壓議なセキュリティ貧の諒籾が�k需されるとともに、システムの畠悶議な釈昔來が�鯢呂垢覲〆呂發△蠅泙后�

Synopsys Defensics?は、プロトコルの����なモデルに児づいてテストケ�`スを恬撹するジェネレ�`ショナルファザ�`です。Defensicsには、匯違議なネットワ�`クプロトコルおよびファイルプロトコルのファジングテスト?ソリュ�`ションとしてすぐに聞える、250を階える並念更廏�gみのテストスイ�`トが喜墮されています。テストスイ�`トのﾚ袈なリストに根まれていないプロトコルの�g廾は芦畠であるとはいえません。

恷除のアプリケ�`ションは、宥械、1つのシステムとして銭亊して強恬するさまざまなコ�`ドベ�`スで更撹されています。たとえば、1つのアプリケ�`ションに怏み�zみの鴛看意コ�`ド、モバイルアプリ?コ�`ド、サ�`バ�`迦の粥永鴛とシステムが根まれる魁栽があり、これらすべてが��吭のあるアクタ�`にとってﾚ袈なアタックサ�`フェスとなります。��吭のあるアクタ�`が鴛看意ボ�`ド貧のセンサ�`のはんだを茅肇して塘�澆掘▲札鵐稀`宥佚プロトコルをファジングすることで、音屎な秘薦によってホスト?プロセッサ貧でコ�`ドを�g佩できるかどうかを距べ、音屎な侘塀のデ�`タでサ�`バ�`迦の粥永鴛が柵び竃されるかどうかを鳩範する辛嬬來があります。

Defensics SDKの古勣

Defensics SDKを聞喘すると、匯違議でない、カスタマイズした、または鏡徭�_�kのプロトコルおよびファイル侘塀パ�`サ�`喘のテストスイ�`トを�_�kできます。Defensics SDKで恬撹されたテストスイ�`トは、すべてのビルド�gみテストスイ�`トと揖��にDefensics GUIに燕幣されます。駅勣な恬�Iはデ�`タモデルの峺協だけです。デ�`タモデルは、プロトコルを�C亠で�iみ函り辛嬬な侘で燕�Fしたものです。Defensicsはデ�`タモデルを聞喘して僕佚メッセ�`ジを恬撹し、鞭佚メッセ�`ジを盾裂します。そのため、すべてのテストケ�`スはデ�`タモデルとメッセ�`ジシ�`ケンスに児づき、Defensicsのジェネレ�`ショナル?テストケ�`ス?エンジンによって徭�喇�撹されます。

Defensics SDKのセットアップ圭隈およびデ�`タモデルの恬撹に宴旋なSDK PCAPウィザ�`ドの聞い圭の����については、に�vするチュ�`トリアルをご�Eください。

Defensics SDKの�C嬬に�vする肝の��並も歌深にしてください。

• How to Cyber Security: Fuzz a tank�┘汽ぅ乂`?セキュリティの圭隈���薐気離侫．献鵐娃�
• Defensics SDKを喘いたビットコインのファジング、パ�`ト1�祭墸�のネットワ�`クを���Bする
• Defensics SDKを喘いたビットコインのファジング、パ�`ト2�坤咼奪肇灰ぅ�?プロトコルのファジング

インジェクタの叨護

インジェクタは、テストタ�`ゲットにテストケ�`スを塘佚する叨護を惚たします。インジェクタは、塘佚チャネルの兜豚晒を�g佩し、チャネルからのデ�`タを僕鞭佚し、テストケ�`スの嶮阻扮に塘佚チャネルを液じます。

Defensics SDKには、ファイルをエクスポ�`トするためのTCP/IP、HTTP、TLS、UDP、SCTP、WebSocket、イ�`サネット、GATT、RFCOMM喘インジェクタが�Mみ�zまれています。そのため、プロトコルがTCP/IP俊�Aで�g佩されている��栽は、�Mみ�zみのTCP/IPインジェクタを聞喘できるように��撹するだけで�gみます。

肝の箭は、怏み�zみの意遺永インジェクタを兜豚晒してテストシ�`ケンスで聞喘する圭隈を幣しています。
 

Injector io = tools.injector().tcp(＾127.0.0.1￣, 1234);

tools.setSequence(

  io.send(myProtocolReq),

  io.receive(myProtocolResp));

TCPインジェクタの恷兜のパラメ�`タはテスト���鵑離曠好肇▲疋譽垢如�2桑朕のパラメ�`タはテスト���鵑離櫞`トです。インジェクタは、TCPソケットからメッセ�`ジを僕鞭佚するために聞喘されます。また、Defensics SDKはTCPソケットを初して宥佚する蒙歩なプロトコル喘に、�Mみ�zみインジェクタをカスタマイズできるカスタムTCPインジェクタチャネルを�笋┐討い泙后�

テスト���鵑�Defensics SDKの�Mみ�zみインジェクタをサポ�`トしていない��栽、肝の2つの�x�k岔があります。

1. 晦庄稼顎恰でなどのツ�`ルを聞喘して、怏み�zみのインジェクタトラフィックをトンネリングする
2. Defensics SDK APIを聞喘してカスタムインジェクタを恬撹する

2桑朕の僉�k岔の箭として、この芝並ではシリアルポ�`トインジェクタを聞喘してプロトコル?テストスイ�`トを恬撹する圭隈を府初します。

プロジェクトのセットアップ

�Mみ�zみ�C匂では、オンボ�`ドチップ�gまたはホストPCとボ�`ド�gの宥佚の匯違議なインタ�`フェイスはUART/SPI/I2Cです。Defensicsテストスイ�`トを�g佩するPCでは、�Mみ�zみシステムソフトウェア�_�kの匯違議なデバッグツ�`ルであるUSB UARTケ�`ブル��USBシリアルケ�`ブルとも柵ばれる��を聞喘できます。ケ�`ブルがPCに俊�Aされている��栽、オペレ�`ティングシステムのシリアルポ�`トとして燕幣されます。

Defensics SDKの麼なプログラミング冱�ZはJavaです。インジェクタメソッドを�g廾するJavaライブラリがある��栽は、ライブラリをテストスイ�`トにバンドルするだけです。シリアルポ�`トの��栽、JavaライブラリのjSerialComm�┌�でプラットフォ�`ムに卆贋しないシリアルポ�`トへのアクセスが辛嬬になります。艶の冱囂で慕かれたインジェクタライブラリがある魁栽は、テストスイ�`トの干温厩温コ�`ドとネイティブ?コ�`ド寂の干温厩温のネイティブ?インタ�`フェイス?マッピングも恬撹する駅勣があります。

プロジェクトは、ホストPC貧でWindows 10を�g佩し、USB UARTケ�`ブルで俊�AされたRaspberry Piコンソ�`ルをテストするようにセットアップしています。この箭では、テストスイ�`トはシリアル宥佚徭悶ではなく、シリアル俊�Aの嘘瘁にあるプロトコルをファジングしています。

Defensics SDKの恬�I�h廠とプロジェクトは、SDK塘下パッケ�`ジにある�_�k宀ガイドに惄辰瀞O協されています。このパッケ�`ジには、このサンプルプロジェクトの頼畠なソ�`スコ�`ドと麿のSDKのサンプルも根まれています。

カスタムインジェクタの恬撹

カスタムインジェクタは怏み�zみインジェクタと揖��に強恬します。カスタムインジェクタを恬撹するには、皆禽悪で協吶された遺顎壊岳看馨遺鞄温稼稼艶鉛インタ�`フェイスを�g廾します。インタ�`フェイスは�g歓です。

void close?(InjectorEngine engine) // チャネルを�]じる

void open?(InjectorEngine engine)  // チャネルを�_く

void receive?(InjectorEngine engine, Message message) // チャネルからメッセ�`ジを鞭佚する

void send?(InjectorEngine engine, Message message) // チャネルにメッセ�`ジを僕佚する

これらのメソッドはすべて、テストの�g佩嶄に徭強議に柵び竃されます。

看沿艶稼()メソッドでユ�`ザ�`譜協を�iみ�zんでインジェクタを譜協します。たとえば、糸温岳温-恢庄岳壊の譜協を�iみ函って壊艶姻庄温鉛永看姻岳オブジェクトに護り輝てることができます。

String value = getEngine().settings().getSettingValue(＾！data-bits￣);

serialPort.setNumDataBits(Integer.parseInt(value));

譜協が頼阻したら、シリアルポ�`ト俊�Aを蝕くことができます。

Public void open(InjectorEngine engine) throws IOException {

    inBuffer = new ByteArrayOutputStream(INPUT_BUFFER_DEFAULT_SIZE_BYTES);

    initWithUserSettings(engine.getSdkEngine());

    initWithControlSettings(engine);

    if (serialPort != null) {

      if (serialPort.isOpen()) {

        throw new EngineException(

            ＾Serial Port ( ＾ + serialPort.getSystemPortName() + ＾ ) already in use!￣);

      }

      serialPort.openPort();

    }

  }

テストケ�`スが嶮阻した朔、肝の看沿艶稼()の柵び竃しを�I尖できる彜蓑に��すことによって、シリアルポ�`トを液じることができます。

  Public void close(InjectorEngine engine) {

    inBuffer.reset();

    if (serialPort != null) {

      serialPort.closePort();

    }

    serialPort = null;

  }

看沿艶稼()メソッドと界鉛看壊艶()メソッドは、テストの�g佩を蝕兵するときだけでなく、テストケ�`スごとに柵び竃されます。壊艶稼糸()と姻艶界艶庄厩艶()の柵び竃しは、シ�`ケンスファイルの&鉛岳;壊艶稼糸&乙岳;と&鉛岳;姻艶界厩&乙岳;の協吶と1��1��鬉靴泙后�

壊艶稼糸()メソッドで、メッセ�`ジからのデ�`タをインジェクタ?チャネルに譜協する駅勣があります。デ�`タはテストケ�`スから函誼し、アノマリや寄楚のオ�`バ�`フロ�`またはアンダ�`フロ�`が贋壓する辛嬬來があるため、坪否に�vする念戻を譜けずにデ�`タをチャネルに僕佚する駅勣があります。デ�`タサイズを崙�泙垢覬慴�がある魁栽は、ここで�I尖するのではなく、モデルを更撹して崙�泙鯢莇┐靴討�ださい。意艶壊岳遺温壊艶遺看稼韓庄乙の箭をご�Eください。

public void send(InjectorEngine engine, Message message) throws IOException {

    MessageElement element = message.getRoot();

    byte[] bytes = element.encode();

    if (serialPort.isOpen()) {

      serialPort.writeBytes(bytes, bytes.length);

      if (transmitEnds.length > 0) {

        serialPort.writeBytes(transmitEnds, transmitEnds.length);

      }

    }

  }

デ�`タ鞭佚の�I尖はもう富し鹸�jです。プロトコルによっては、匯協のバイト方または蒙歩な僕佚嶮阻マ�`クが鞭佚されるまで、デ�`タの�iみ函りをタイムアウトまたは掲ブロッキング�iみ函りでブロックしておくことが辛嬬です。鞭佚したデ�`タは、シ�`ケンスファイルの姻艶界厩タグの侏として協吶された珂艶壊壊温乙艶掘鉛艶馨艶稼岳と頼畠に匯崑する駅勣があります。デ�`タが侏と匯崑しない魁栽、嚠豚しないメッセ�`ジのハンドラが徭強議に柵び竃されます。嚠豚しないメッセ�`ジのハンドラは、乏音揖で鞭佚できるプロトコル坪の匯違議なメッセ�`ジを�I尖します。

シリアルポ�`トの箭では、デ�`タの恷兜のバイトのブロッキング棋字とタイムアウトが峺協されています。恷兜のバイトが鞭佚された朔、ユ�`ザ�`協吶の佩挑猟忖が鞭佚されるまでデ�`タが�iみ函られます。

  public void receive(InjectorEngine engine, Message message) throws IOException {

    engine.getSdkEngine().log().out(＾CustomChannel receive()￣);

    int numRead;

    int endMark = -1;

    byte[] readBuffer = new byte[INPUT_BUFFER_DEFAULT_SIZE_BYTES];

    // 峺協の佩挑猟忖を鞭佚するまで、または�iみ函りタイムアウトになるまで�iみ函る

    do {

      numRead = serialPort.readBytes(readBuffer, readBuffer.length);

      if (numRead > 0) {

        inBuffer.write(readBuffer, 0, numRead);

        if (receiveEnds.length > 0) {

          endMark = indexOf(inBuffer.toByteArray(), receiveEnds);

        }

      }

    } while (numRead > 0 && endMark == -1);

    // 鞭佚デ�`タなし

    if (inBuffer.size() == 0) {

      throw new EngineException(＾Timeout! No data received.￣);

    }

    // 鞭佚したデ�`タを�I尖する

    byte[] data = inBuffer.toByteArray();

    inBuffer.reset();

    // 僕佚�K阻マ�`クが��つかった��栽

    if (endMark > 0) {

      message.getRoot().assignData(Arrays.copyOfRange(data, 0, endMark));

      // 鞭佚したデ�`タを�K阻マ�`クの瘁に隠隔する

      if (data.length > (endMark + receiveEnds.length + 1)) {

        inBuffer.write(Arrays.copyOfRange(data, endMark + receiveEnds.length, data.length));

      }

    } else {

      // �K阻マ�`クなし。すべてのデ�`タを�I尖する

      message.getRoot().assignData(data);

    }

  }