特許ウォッチ

公開番号2025074650
公報種別公開特許公報(A)
公開日2025-05-14
出願番号2023185609
出願日2023-10-30
発明の名称ソフトウェア検査装置、ソフトウェア検査方法、及び、プログラム
出願人日本電気株式会社
代理人個人
主分類G06F 8/30 20180101AFI20250507BHJP(計算;計数)
要約【課題】複数のバイナリを跨いだコールフローを特定できる、ソフトウェア検査装置、ソフトウェア検査方法、及び、プログラムを提供する。
【解決手段】ソフトウェア検査装置10にてバイナリグループ特定部は、バイナリグループを特定する。バイナリグループは、メインバイナリと、メインバイナリが直接的又は間接的にロードする対象であり且つメインバイナリの側を上流として直列に接続された少なくとも1つのサブバイナリとを含む。コールフロー特定部は、バイナリグループに含まれ且つ呼出関係を有する複数の関数を、上記の少なくとも1つのサブバイナリのうちのいずれかに含まれる所定のシステムコール命令を含む第1関数を起点として上流に向けて順次特定する。これにより、コールフロー特定部は、バイナリグループにおいてメインバイナリに含まれる第2関数を始点とし且つ第1関数を終点とするコールフローを特定する。
【選択図】図1
特許請求の範囲【請求項１】
検査対象ソフトウェアであるメインバイナリと、前記メインバイナリが直接的又は間接的にロードする対象であり且つ前記メインバイナリの側を上流として直列に接続された少なくとも１つのサブバイナリとを含む、バイナリグループを特定するバイナリグループ特定部と、
前記バイナリグループに含まれ且つ呼出関係を有する複数の関数を、前記少なくとも１つのサブバイナリのうちのいずれかに含まれる所定のシステムコール命令を含む第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定するコールフロー特定部と、
を具備するソフトウェア検査装置。
続きを表示（約 1,500 文字）【請求項２】
前記バイナリグループ特定部は、呼出関係を有する複数のバイナリを、前記メインバイナリを起点として順次特定することによって、前記少なくとも１つのサブバイナリを特定する、
請求項１記載のソフトウェア検査装置。
【請求項３】
前記バイナリグループ特定部は、前記メインバイナリに含まれるバイナリ名称に基づいて、前記メインバイナリが呼び出すサブバイナリを特定する、
請求項２記載のソフトウェア検査装置。
【請求項４】
前記コールフロー特定部は、
前記バイナリグループにおいて前記所定のシステムコール命令を含む第１関数を特定する第１特定処理部と、
前記呼出関係を有する複数の関数を前記第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定する第２特定処理部と、
を具備する、
請求項１に記載のソフトウェア検査装置。
【請求項５】
前記特定されたコールフローに対して、データフロー解析処理及び制御フロー解析処理を実行するフロー解析部をさらに具備する、
請求項１から４のいずれか１項に記載のソフトウェア検査装置。
【請求項６】
検査対象ソフトウェアであるメインバイナリと、前記メインバイナリが直接的又は間接的にロードする対象であり且つ前記メインバイナリの側を上流として直列に接続された少なくとも１つのサブバイナリとを含む、バイナリグループを特定することと、
前記バイナリグループに含まれ且つ呼出関係を有する複数の関数を、前記少なくとも１つのサブバイナリのうちのいずれかに含まれる所定のシステムコール命令を含む第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定することと、
を含むソフトウェア検査方法。
【請求項７】
前記バイナリグループを特定することは、呼出関係を有する複数のバイナリを、前記メインバイナリを起点として順次特定することによって、前記少なくとも１つのサブバイナリを特定することを含む、
請求項６記載のソフトウェア検査方法。
【請求項８】
前記バイナリグループを特定することは、前記メインバイナリに含まれるバイナリ名称に基づいて、前記メインバイナリが呼び出すサブバイナリを特定することを含む、
請求項７記載のソフトウェア検査方法。
【請求項９】
前記コールフローを特定することは、
前記バイナリグループにおいて前記所定のシステムコール命令を含む第１関数を特定することと、
前記呼出関係を有する複数の関数を前記第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定することと、
を含む、
請求項６に記載のソフトウェア検査方法。
【請求項１０】
前記特定されたコールフローに対して、データフロー解析処理及び制御フロー解析処理を実行することをさらに含む、
請求項６から９のいずれか１項に記載のソフトウェア検査方法。
（【請求項１１】以降は省略されています）
発明の詳細な説明【技術分野】
【０００１】
本開示は、ソフトウェア検査装置、ソフトウェア検査方法、及び、プログラムに関する。
続きを表示（約 2,200 文字）【背景技術】
【０００２】
特許文献１には、バイナリコードに対して静的解析をし、呼出される関数やシステムコール、ＡＰＩの呼出しと呼出し時の引数値及び条件を抽出し、抽出された情報と仕様書等の内容とを比較し、比較結果を元に不正コードの検出する、技術が開示されている。
【先行技術文献】
【特許文献】
【０００３】
特開２００９－９８８５１号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
本発明者は、検査対象ソフトウェアであるメインバイナリが、直接的又は間接的にロードする対象であり且つメインバイナリの側を上流として互いに直列的に接続された少なくとも１つのライブラリ（「サブバイナリ」と呼ばれてもよい。）を有していることに着目した。特許文献１は、この点が考慮されていないため、複数のバイナリを跨いだ「コールフロー」を特定できない可能性がある。「コールフロー」は、呼出関係を有する複数の関数を含むフローを意味する。
【０００５】
本開示の目的は、複数のバイナリを跨いだコールフローを特定できる、ソフトウェア検査装置、ソフトウェア検査方法、及び、プログラムを提供することにある。
【課題を解決するための手段】
【０００６】
１つの態様では、ソフトウェア検査装置は、
検査対象ソフトウェアであるメインバイナリと、前記メインバイナリが直接的又は間接的にロードする対象であり且つ前記メインバイナリの側を上流として直列に接続された少なくとも１つのサブバイナリとを含む、バイナリグループを特定するバイナリグループ特定部と、
前記バイナリグループに含まれ且つ呼出関係を有する複数の関数を、前記少なくとも１つのサブバイナリのうちのいずれかに含まれる所定のシステムコール命令を含む第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定するコールフロー特定部と、
を具備する。
【０００７】
他の態様では、ソフトウェア検査方法は、
検査対象ソフトウェアであるメインバイナリと、前記メインバイナリが直接的又は間接的にロードする対象であり且つ前記メインバイナリの側を上流として直列に接続された少なくとも１つのサブバイナリとを含む、バイナリグループを特定することと、
前記バイナリグループに含まれ且つ呼出関係を有する複数の関数を、前記少なくとも１つのサブバイナリのうちのいずれかに含まれる所定のシステムコール命令を含む第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定することと、
を含む。
【０００８】
他の態様では、プログラムは、
検査対象ソフトウェアであるメインバイナリと、前記メインバイナリが直接的又は間接的にロードする対象であり且つ前記メインバイナリの側を上流として直列に接続された少なくとも１つのサブバイナリとを含む、バイナリグループを特定することと、
前記バイナリグループに含まれ且つ呼出関係を有する複数の関数を、前記少なくとも１つのサブバイナリのうちのいずれかに含まれる所定のシステムコール命令を含む第１関数を起点として前記上流に向けて順次特定することによって、前記バイナリグループにおいて前記メインバイナリに含まれる第２関数を始点とし且つ前記第１関数を終点とするコールフローを特定することと、
を含む処理を、ソフトウェア検査装置に実行させる。
【発明の効果】
【０００９】
本開示により、複数のバイナリを跨いだコールフローを特定できる、ソフトウェア検査装置、ソフトウェア検査方法、及び、プログラムを提供することができる。
【図面の簡単な説明】
【００１０】
本開示のソフトウェア検査装置の一例を示すブロック図である。
本開示のソフトウェア検査装置の処理動作の一例を示すフローチャートである。
本開示のソフトウェア検査装置の他の一例を示すブロック図である。
本開示のソフトウェア検査装置のバイナリグループ特定処理の一例を示すフローチャートである。
本開示のソフトウェア検査装置のバイナリグループ特定処理の一例の説明に供する図である。
本開示のバイナリツリーテーブルの一例を示す図である。
本開示のソフトウェア検査装置のコールフロー特定処理の一例を示すフローチャートである。
本開示のソフトウェア検査装置のコールフロー特定処理の一例の説明に供する図である。
本開示の検査対象システムコールリストの一例を示す図である。
本開示のソフトウェア検査装置の他の一例を示すブロック図である。
本開示のソフトウェア検査装置の構成例を示す図である。
【発明を実施するための形態】
（【００１１】以降は省略されています）

関連特許