JP6965202B2

JP6965202B2 - Analytical equipment, analysis method and program

Info

Publication number: JP6965202B2
Application number: JP2018078398A
Authority: JP
Inventors: 大荒木; 理恵藤浦; 昌幸根本; 稔内田; 信隆鶴我
Original assignee: Toshiba Corp; Toshiba Digital Solutions Corp
Current assignee: Toshiba Corp; Toshiba Digital Solutions Corp
Priority date: 2018-04-16
Filing date: 2018-04-16
Publication date: 2021-11-10
Anticipated expiration: 2038-04-16
Also published as: JP2019185593A

Description

本発明の実施形態は解析装置、解析方法及びプログラムに関する。 Embodiments of the present invention relate to analyzers, analysis methods and programs.

Ｃ言語等のコンピュータプログラムのソースコードでは、プリプロセッサ命令を使用した条件付きコンパイル（コンパイルスイッチ）のための記述が、従来から利用されている。所定の条件を示すコンパイルスイッチを利用することによって、コンピュータプログラムの動作を変更することができる。 In the source code of a computer program such as C language, a description for conditional compilation (compile switch) using a preprocessor instruction has been conventionally used. The behavior of a computer program can be changed by using a compile switch that indicates a predetermined condition.

条件付きコンパイル（コンパイルスイッチ）のための記述とは、Ｃ言語のコンピュータプログラムのソースコードにおいては、＃ではじまるプリプロセッサディレクティブの中で、＃ｉｆｄｅｆ、＃ｉｆｎｄｅｆ、＃ｅｎｄｉｆ、＃ｉｆ、＃ｅｌｉｆ、＃ｅｌｓｅから始まる文を意味する。その他の、＃ｉｎｃｌｕｄｅ、＃ｄｅｆｉｎｅ、＃ｕｎｄｅｆなどから始まるプリプロセッサディレクティブは除く。 The description for conditional compilation (compile switch) is, in the source code of a computer program in C language, in the preprocessor directives starting with #, #ifdef, #ifndef, #endif, #if, #elif, # It means a sentence starting with else. Other preprocessor directives starting with #include, #define, #undef, etc. are excluded.

特許第４８２７４１８号公報Japanese Patent No. 4827418 特開２０００−１４８５０８号公報Japanese Unexamined Patent Publication No. 2000-148508 特開平５−３４１９７６号公報Japanese Unexamined Patent Publication No. 5-341976 特開平１１−０７３３０５号公報Japanese Unexamined Patent Publication No. 11-073305

しかしながら、従来の技術では、条件付きコンパイルに使用される条件が多いほど、ソースコードを解析することが難しかった。例えば、ソースコードを解析する際には、条件の組み合わせを考慮する必要があるため、条件付きコンパイルに使用される条件が多いほど、解析回数及び解析時間を要していた。 However, with conventional techniques, the more conditions used for conditional compilation, the more difficult it is to analyze the source code. For example, when analyzing the source code, it is necessary to consider the combination of conditions. Therefore, the more conditions used for conditional compilation, the more the number of analyzes and the analysis time are required.

実施形態の解析装置は、ソースコードを、コンパイルスイッチの状態制御を示すコンパイルスイッチコード情報と、前記コンパイルスイッチコード情報を含まない本体コード情報とに分割する分割部と、前記コンパイルスイッチコード情報から、前記ソースコードの行毎の前記コンパイルスイッチの状態を示す状態情報を生成する生成部と、前記状態情報から、前記コンパイルスイッチの組み合わせを解析する解析部と、を備える。 The analysis device of the embodiment is based on a division unit that divides the source code into compile switch code information indicating the state control of the compile switch and main body code information that does not include the compile switch code information, and the compile switch code information. It includes a generation unit that generates state information indicating the state of the compile switch for each line of the source code, and an analysis unit that analyzes the combination of the compile switches from the state information.

図１は実施形態の解析装置の機能構成の例を示す図である。FIG. 1 is a diagram showing an example of a functional configuration of the analysis device of the embodiment. 図２は実施形態のソースコードの例を示す図である。FIG. 2 is a diagram showing an example of the source code of the embodiment. 図３は実施形態の本体コード情報の例を示す図である。FIG. 3 is a diagram showing an example of the main body code information of the embodiment. 図４は実施形態のコンパイルスイッチコード情報の例を示す図である。FIG. 4 is a diagram showing an example of compile switch code information of the embodiment. 図５は実施形態の状態情報の例を示す図である。FIG. 5 is a diagram showing an example of state information of the embodiment. 図６は実施形態の解析結果の例を示す図である。FIG. 6 is a diagram showing an example of the analysis result of the embodiment. 図７は実施形態の解析方法と、従来の解析方法との差異を説明するための図である。FIG. 7 is a diagram for explaining the difference between the analysis method of the embodiment and the conventional analysis method. 図８Ａは従来の条件別ソースコードの例を示す図である。FIG. 8A is a diagram showing an example of a conventional conditional source code. 図８Ｂは従来の条件別ソースコードの例を示す図である。FIG. 8B is a diagram showing an example of a conventional conditional source code. 図８Ｃは従来の条件別ソースコードの例を示す図である。FIG. 8C is a diagram showing an example of a conventional conditional source code. 図８Ｄは従来の条件別ソースコードの例を示す図である。FIG. 8D is a diagram showing an example of a conventional conditional source code. 図９は従来の解析方法を示す図である。FIG. 9 is a diagram showing a conventional analysis method. 図１０は実施形態の解析装置のハードウェア構成の例を示す図である。FIG. 10 is a diagram showing an example of the hardware configuration of the analysis device of the embodiment.

以下に添付図面を参照して、解析装置、解析方法及びプログラムの実施形態を詳細に説明する。 An analyzer, an analysis method, and an embodiment of a program will be described in detail with reference to the accompanying drawings.

［機能構成の例］
図１は実施形態の解析装置１０の機能構成の例を示す図である。実施形態の解析装置１０は、分割部１、生成部２及び解析部３を備える。 [Example of functional configuration]
FIG. 1 is a diagram showing an example of a functional configuration of the analysis device 10 of the embodiment. The analysis device 10 of the embodiment includes a division unit 1, a generation unit 2, and an analysis unit 3.

分割部１は、ソースコード１０１を受け付ける。ソースコード１０１の種類は任意でよい。ソースコード１０１は、例えば自動車を制御するＣ言語プログラムのソースコードである。 The division unit 1 receives the source code 101. The type of source code 101 may be arbitrary. The source code 101 is, for example, the source code of a C language program that controls an automobile.

図２は実施形態のソースコード１０１の例を示す図である。図２の例は、ソースコード１０１がＣ言語である場合を示す。例えば、９行目に記述されたｉｎｔ型変数ｔ＿１の定義は、コンパイルスイッチＴＹＰＥ＿Ａが指定されている場合に有効になる。ＴＹＰＥ＿Ａは、例えばソースコード１０１のコンパイル時に指定される。 FIG. 2 is a diagram showing an example of the source code 101 of the embodiment. The example of FIG. 2 shows a case where the source code 101 is in C language. For example, the definition of the int type variable t_1 described on the 9th line is valid when the compile switch TYPE_A is specified. TYPE_A is specified, for example, when the source code 101 is compiled.

それぞれのコンパイルスイッチは、所定の条件を示す。所定の条件は任意でよい。所定の条件は、例えばプログラムの仕向け毎に定められる。具体的には、所定の条件は、例えばプログラムが動作する製品の種類、及び、当該製品の販売地域等である。 Each compile switch indicates a predetermined condition. The predetermined conditions may be arbitrary. Predetermined conditions are determined, for example, for each program destination. Specifically, the predetermined conditions are, for example, the type of product on which the program operates, the sales area of the product, and the like.

図１に戻り、分割部１は、ソースコード１０１を受け付けると、当該ソースコード１０１を、コンパイルスイッチの状態制御を示すコンパイルスイッチコード情報１０３と、コンパイルスイッチコード情報１０３を含まない本体コード情報１０２とに分割する。 Returning to FIG. 1, when the division unit 1 receives the source code 101, the division unit 1 transmits the source code 101 to the compile switch code information 103 indicating the state control of the compile switch and the main body code information 102 not including the compile switch code information 103. Divide into.

図３は実施形態の本体コード情報１０２の例を示す図である。図３の例では、ソースコード１０１から、＃ではじまるプリプロセッサディレクティブの記述（コンパイルスイッチコード情報１０３）が削除されている。 FIG. 3 is a diagram showing an example of the main body code information 102 of the embodiment. In the example of FIG. 3, the description of the preprocessor directive (compile switch code information 103) starting with # is deleted from the source code 101.

図４は実施形態のコンパイルスイッチコード情報１０３の例を示す図である。図４の例では、ソースコード１０１から、＃ではじまるプリプロセッサディレクティブ以外の記述（本体コード情報１０２）が削除されている。 FIG. 4 is a diagram showing an example of the compile switch code information 103 of the embodiment. In the example of FIG. 4, the description (main body code information 102) other than the preprocessor directive starting with # is deleted from the source code 101.

図１に戻り、分割部１は、本体コード情報１０２を生成部２に入力し、コンパイルスイッチコード情報１０３を解析部３に入力する。 Returning to FIG. 1, the division unit 1 inputs the main body code information 102 to the generation unit 2, and inputs the compile switch code information 103 to the analysis unit 3.

生成部２は、分割部１からコンパイルスイッチコード情報１０３を受け付けると、ソースコード１０１の行毎のコンパイルスイッチの状態（有効／無効）を示す状態情報を生成する。 When the generation unit 2 receives the compile switch code information 103 from the division unit 1, it generates state information indicating the state (valid / invalid) of the compile switch for each line of the source code 101.

図５は実施形態の状態情報１０４の例を示す図である。図５の例では、生成部２は、コンパイルスイッチの状態を制御するｉｆ条件及びｅｌｓｅ条件の組み合わせ（コンパイルスイッチの組み合わせ）を計算する。例えば、生成部２は、ソースコード１０１の１３行目〜２６行目のように、入れ子になった記述等を解析することにより、コンパイルスイッチの組み合わせを、ソースコード１０１の行毎に特定する。そして、生成部２は、コンパイルスイッチの状態（有効／無効）をソースコード１０１の行毎に特定する。 FIG. 5 is a diagram showing an example of the state information 104 of the embodiment. In the example of FIG. 5, the generation unit 2 calculates the combination of the if condition and the else condition (combination of the compile switch) that controls the state of the compile switch. For example, the generation unit 2 identifies the combination of the compile switches for each line of the source code 101 by analyzing the nested description and the like as in the 13th to 26th lines of the source code 101. Then, the generation unit 2 specifies the state (valid / invalid) of the compile switch for each line of the source code 101.

図５の例では、状態情報１０４は、例えば１行目から８行目には、有効なコンパイルスイッチがないことを示す。また例えば、状態情報１０４は、９行目及び１０行目では、コンパイルスイッチＴＹＰＥ＿Ａが有効であることを示す。また例えば、状態情報１０４は、１１行目及び１２行目には、有効なコンパイルスイッチがないことを示す。また例えば、状態情報１０４は、１３行目では、コンパイルスイッチＴＹＰＥ＿Ａが有効であることを示す。また例えば、状態情報１０４は、１４行目及び１５行目では、コンパイルスイッチＴＹＰＥ＿Ａ及びコンパイルスイッチＴＹＰＥ＿Ｂが有効であることを示す。以下、同様に、１６行目から２７行目についても、状態情報１０４からコンパイルスイッチの状態を特定することができる。 In the example of FIG. 5, the state information 104 indicates that, for example, the first to eighth lines do not have a valid compile switch. Further, for example, the state information 104 indicates that the compile switch TYPE_A is valid on the 9th and 10th lines. Further, for example, the state information 104 indicates that there is no valid compile switch on the 11th and 12th lines. Further, for example, the state information 104 indicates that the compile switch TYPE_A is valid on the 13th line. Further, for example, the state information 104 indicates that the compile switch TYPE_A and the compile switch TYPE_B are valid on the 14th and 15th lines. Hereinafter, similarly, the state of the compile switch can be specified from the state information 104 also in the 16th to 27th lines.

図１に戻り、解析部３は、分割部１から本体コード情報１０２を受け付け、生成部２から状態情報１０４を受け付ける。解析部３は、本体コード情報１０２と、状態情報１０４とを使用して、ソースコード１０１を解析する。 Returning to FIG. 1, the analysis unit 3 receives the main body code information 102 from the division unit 1 and the state information 104 from the generation unit 2. The analysis unit 3 analyzes the source code 101 by using the main body code information 102 and the state information 104.

図６は実施形態の解析結果１０５の例を示す図である。解析部３は、本体コード情報１０２と、状態情報１０４とを照らし合わせることにより、解析結果１０５を取得する。図６の例では、解析結果１０５は、コンパイルスイッチの組み合わせ毎に、コンパイルスイッチの組み合わせに依存する依存情報が抽出されている。 FIG. 6 is a diagram showing an example of the analysis result 105 of the embodiment. The analysis unit 3 acquires the analysis result 105 by comparing the main body code information 102 with the state information 104. In the example of FIG. 6, in the analysis result 105, the dependency information depending on the combination of the compile switches is extracted for each combination of the compile switches.

図６の解析結果１０５の例では、例えば、コンパイルスイッチＴＹＰＥ＿Ａが有効であり、かつ、コンパイルスイッチＴＹＰＥ＿Ｂが無効の場合は、入力変数ｉｎ＿１〜ｉｎ＿３が有効になり、入力変数ｉｎ＿４が無効になり、出力変数ｏｕｔ＿１及びｔ＿１が有効になり、利用関数ｆｕｎｃ２が有効になり、利用関数ｆｕｎｃ３及びｆｕｎｃ４が無効になることが示されている。 In the example of the analysis result 105 of FIG. 6, for example, when the compile switch TYPE_A is valid and the compile switch TYPE_B is invalid, the input variables in_1 to in_3 are valid, the input variables in_4 are invalid, and the output is output. It is shown that the variables out_1 and t_1 are valid, the utilization functions func2 are valid, and the utilization functions func3 and func4 are invalid.

なお、図６の例では、コンパイルスイッチの組み合わせ（プリプロセッサの条件）が４通りである場合を例示しているが、コンパイルスイッチの種類が多いほど、コンパイルスイッチの組み合わせは複雑になる。 In the example of FIG. 6, the case where there are four combinations of compile switches (preprocessor conditions) is illustrated, but the more types of compile switches, the more complicated the combinations of compile switches.

図６の解析結果１０５の例では、依存情報として、入力変数、出力変数及び利用関数が抽出されているが、入力変数、出力変数及び利用関数以外の情報が、依存情報として抽出されてもよい。 In the example of the analysis result 105 of FIG. 6, the input variable, the output variable, and the utilization function are extracted as the dependency information, but information other than the input variable, the output variable, and the utilization function may be extracted as the dependency information. ..

例えば、変数の型（例えば、ｉｎｔ型等）が依存情報に含まれていてもよい。また例えば、変数の種類（例えば、ローカル変数又はグローバル変数等）が、依存情報に含まれていてもよい。なお、図６の解析結果１０５の例では、変数の種類として、入力又は出力が示されている。また例えば、変数のコメント行に含まれる情報（例えば、変数が取り得る値の範囲、及び、当該値の説明等）が含まれていてもよい。変数が取り得る値の説明は、例えば値の単位（例えば、値が距離であればｋｍ等）等である。 For example, the type of the variable (for example, int type) may be included in the dependency information. Further, for example, the type of variable (for example, a local variable or a global variable) may be included in the dependency information. In the example of the analysis result 105 of FIG. 6, input or output is shown as the type of variable. Further, for example, the information included in the comment line of the variable (for example, the range of values that the variable can take, the explanation of the value, etc.) may be included. The description of the value that a variable can take is, for example, a unit of value (for example, km if the value is a distance) or the like.

また例えば、関数の定義（例えば、戻り値及び引数等）が、依存情報に含まれていてもよい。また例えば、関数のコメント行に含まれる情報（例えば、関数の説明等）が依存情報に含まれていてもよい。関数の説明は、例えば戻り値として取り得る値の説明、及び、引数として取り得る値の説明等である。 Further, for example, the definition of the function (for example, the return value and the argument) may be included in the dependency information. Further, for example, the information included in the comment line of the function (for example, the description of the function) may be included in the dependency information. The description of the function is, for example, a description of a value that can be taken as a return value, a description of a value that can be taken as an argument, and the like.

また、図６の解析結果１０５は、コンパイルスイッチの組み合わせ毎のテーブル形式で表されているが、解析結果１０５のデータ形式は、テーブル形式以外のデータ形式でもよい。 Further, although the analysis result 105 of FIG. 6 is represented in a table format for each combination of compile switches, the data format of the analysis result 105 may be a data format other than the table format.

図６の解析結果１０５のように、コンパイルスイッチの組み合わせ（プリプロセッサの条件）毎に、上述の依存情報の一覧が取得されることにより、ソースコード１０１をより容易に確認することができる。例えば、解析結果１０５を使用して、プリプロセッサの条件の正しさを確認することができる。また例えば、解析結果１０５をソースコード１０１のテスト工程で活用することができる。具体的には、解析結果１０５を、例えばコンパイルスイッチの組み合わせ毎のテスト項目（例えば、入出力に関するテスト項目等）の洗い出しに活用することができる。また例えば、解析結果１０５を、コンパイルスイッチの組み合わせ毎の仕様（機能）の確認に活用することができる。 As shown in the analysis result 105 of FIG. 6, the source code 101 can be confirmed more easily by acquiring the above-mentioned list of dependency information for each combination of compile switches (preprocessor conditions). For example, the analysis result 105 can be used to confirm the correctness of the preprocessor condition. Further, for example, the analysis result 105 can be utilized in the test process of the source code 101. Specifically, the analysis result 105 can be used, for example, to identify test items (for example, test items related to input / output) for each combination of compile switches. Further, for example, the analysis result 105 can be used for confirming the specifications (functions) for each combination of compile switches.

以上、説明したように、実施形態の解析装置１０では、分割部１が、ソースコード１０１を、コンパイルスイッチの状態制御を示すコンパイルスイッチコード情報１０３と、コンパイルスイッチコード情報１０３を含まない本体コード情報１０２とに分割する。生成部２が、コンパイルスイッチコード情報１０３から、ソースコード１０１の行毎のコンパイルスイッチの状態を示す状態情報１０４を生成する。そして、解析部３が、状態情報１０４から、コンパイルスイッチの組み合わせを解析する。 As described above, in the analysis device 10 of the embodiment, the division unit 1 divides the source code 101 into the compile switch code information 103 indicating the state control of the compile switch and the main body code information that does not include the compile switch code information 103. Divide into 102. The generation unit 2 generates the state information 104 indicating the state of the compile switch for each line of the source code 101 from the compile switch code information 103. Then, the analysis unit 3 analyzes the combination of the compile switches from the state information 104.

これにより実施形態の解析装置１０によれば、条件付きコンパイルに使用される条件（コンパイルスイッチ）が複数ある場合でも、ソースコード１０１をより容易に解析することができる。 As a result, according to the analysis device 10 of the embodiment, the source code 101 can be analyzed more easily even when there are a plurality of conditions (compile switches) used for conditional compilation.

［効果の説明］
次に、実施形態の解析装置１０の効果について、従来の解析方法と対比させることにより、具体的に説明する。 [Explanation of effect]
Next, the effect of the analysis device 10 of the embodiment will be specifically described by comparing it with the conventional analysis method.

図７は実施形態の解析方法と、従来の解析方法との差異を説明するための図である。図７に示すように、従来の解析方法では、仕向け毎にソースコード１０１を解析する必要があった。具体的には、例えばプリプロセッサの条件が４通りの場合、まず、プリプロセッサの条件毎に条件別ソースコード２０１ａ〜２０１ｄを用意する必要があった。 FIG. 7 is a diagram for explaining the difference between the analysis method of the embodiment and the conventional analysis method. As shown in FIG. 7, in the conventional analysis method, it is necessary to analyze the source code 101 for each destination. Specifically, for example, when there are four preprocessor conditions, it is necessary to first prepare the conditional source codes 201a to 201d for each preprocessor condition.

図８Ａは従来の条件別ソースコード２０１ａの例を示す図である。図８Ａは、仕向けａ用のソースコード１０１を示す。具体的には、条件別ソースコード２０１ａは、コンパイルスイッチＴＹＰＥ＿Ａが無効であり、かつ、コンパイルスイッチＴＹＰＥ＿Ｂが無効の場合のソースコード１０１を示す。 FIG. 8A is a diagram showing an example of the conventional conditional source code 201a. FIG. 8A shows the source code 101 for destination a. Specifically, the conditional source code 201a indicates the source code 101 when the compile switch TYPE_A is invalid and the compile switch TYPE_B is invalid.

図８Ｂは従来の条件別ソースコード２０１ｂの例を示す図である。図８Ｂは、仕向けｂ用のソースコード１０１を示す。具体的には、条件別ソースコード２０１ｂは、コンパイルスイッチＴＹＰＥ＿Ａが有効であり、かつ、コンパイルスイッチＴＹＰＥ＿Ｂが無効の場合のソースコード１０１を示す。 FIG. 8B is a diagram showing an example of the conventional conditional source code 201b. FIG. 8B shows the source code 101 for the destination b. Specifically, the conditional source code 201b indicates the source code 101 when the compile switch TYPE_A is valid and the compile switch TYPE_B is invalid.

図８Ｃは従来の条件別ソースコード２０１ｃの例を示す図である。図８Ｃは、仕向けｃ用のソースコード１０１を示す。具体的には、条件別ソースコード２０１ｃは、コンパイルスイッチＴＹＰＥ＿Ａが無効であり、かつ、コンパイルスイッチＴＹＰＥ＿Ｂが有効の場合のソースコード１０１を示す。 FIG. 8C is a diagram showing an example of the conventional conditional source code 201c. FIG. 8C shows the source code 101 for the destination c. Specifically, the conditional source code 201c indicates the source code 101 when the compile switch TYPE_A is invalid and the compile switch TYPE_B is valid.

図８Ｄは従来の条件別ソースコード２０１ｄの例を示す図である。図８Ｄは、仕向けｄ用のソースコード１０１を示す。具体的には、条件別ソースコード２０１ｄは、コンパイルスイッチＴＹＰＥ＿Ａが有効であり、かつ、コンパイルスイッチＴＹＰＥ＿Ｂが有効の場合のソースコード１０１を示す。 FIG. 8D is a diagram showing an example of the conventional conditional source code 201d. FIG. 8D shows the source code 101 for the destination d. Specifically, the conditional source code 201d indicates the source code 101 when the compile switch TYPE_A is valid and the compile switch TYPE_B is valid.

図９は従来の解析方法を示す図である。図９に示すように、従来は、条件別ソースコード２０１ａ〜２０１ｄを別々に解析することにより得られた解析結果２０２ａ〜２０２ｄを集計することにより、集計結果２０３（実施形態の解析結果１０５に相当）が得られていた。そのため、コンパイルスイッチがＮ種の場合、２のＮ乗通りの組み合わせを特定後、２のＮ乗通りの条件別ソースコード２０１のコード解析が必要だった。 FIG. 9 is a diagram showing a conventional analysis method. As shown in FIG. 9, conventionally, by aggregating the analysis results 202a to 202d obtained by separately analyzing the conditional source codes 201a to 201d, the aggregation result 203 (corresponding to the analysis result 105 of the embodiment). ) Was obtained. Therefore, when there are N types of compile switches, it is necessary to analyze the code of the conditional source code 201 according to the Nth power of 2 after identifying the combination of 2 to the Nth power.

実施形態の解析装置１０によれば、条件付きコンパイルに使用される条件（コンパイルスイッチ）の組み合わせが２のＮ乗通りである場合であっても、ソースコード１０１の解析は、１回で済む。そのため、実施形態の解析装置１０によれば、条件付きコンパイルに使用される条件が多いほど、従来の解析方法に比べて、解析回数及び解析時間を削減することができる。 According to the analysis device 10 of the embodiment, even if the combination of conditions (compile switches) used for conditional compilation is 2 to the Nth power, the analysis of the source code 101 can be performed only once. Therefore, according to the analysis device 10 of the embodiment, the more conditions used for conditional compilation, the more the number of analyzes and the analysis time can be reduced as compared with the conventional analysis method.

最後に実施形態の解析装置１０のハードウェア構成の例について説明する。 Finally, an example of the hardware configuration of the analysis device 10 of the embodiment will be described.

［ハードウェア構成の例］
図１０は実施形態の解析装置１０のハードウェア構成の例を示す図である。実施形態の解析装置１０は、制御装置３０１、主記憶装置３０２、補助記憶装置３０３、表示装置３０４、入力装置３０５及び通信装置３０６を備える。制御装置３０１、主記憶装置３０２、補助記憶装置３０３、表示装置３０４、入力装置３０５及び通信装置３０６は、バス３１０を介して接続されている。 [Example of hardware configuration]
FIG. 10 is a diagram showing an example of the hardware configuration of the analysis device 10 of the embodiment. The analysis device 10 of the embodiment includes a control device 301, a main storage device 302, an auxiliary storage device 303, a display device 304, an input device 305, and a communication device 306. The control device 301, the main storage device 302, the auxiliary storage device 303, the display device 304, the input device 305, and the communication device 306 are connected via the bus 310.

制御装置３０１は、補助記憶装置３０３から主記憶装置３０２に読み出されたプログラムを実行する。主記憶装置３０２は、ＲＯＭ（ＲｅａｄＯｎｌｙＭｅｍｏｒｙ）、及び、ＲＡＭ（ＲａｎｄｏｍＡｃｃｅｓｓＭｅｍｏｒｙ）等のメモリである。補助記憶装置３０３は、ＨＤＤ（ＨａｒｄＤｉｓｋＤｒｉｖｅ）、及び、メモリカード等である。 The control device 301 executes the program read from the auxiliary storage device 303 to the main storage device 302. The main storage device 302 is a memory such as a ROM (Read Only Memory) and a RAM (Random Access Memory). The auxiliary storage device 303 is an HDD (Hard Disk Drive), a memory card, or the like.

表示装置３０４は、解析装置１０の状態等を表示する。表示装置３０４は、例えば液晶ディスプレイ等である。入力装置３０５は、解析装置１０を操作するためのインタフェースである。入力装置３０５は、例えばキーボードやマウス等である。解析装置１０がスマートフォン及びタブレット型端末等のスマートデバイスの場合、表示装置３０４及び入力装置３０５は、例えばタッチパネルである。通信装置３０６は、他の装置と通信するためのインタフェースである。 The display device 304 displays the state and the like of the analysis device 10. The display device 304 is, for example, a liquid crystal display or the like. The input device 305 is an interface for operating the analysis device 10. The input device 305 is, for example, a keyboard, a mouse, or the like. When the analysis device 10 is a smart device such as a smartphone or a tablet terminal, the display device 304 and the input device 305 are, for example, a touch panel. The communication device 306 is an interface for communicating with another device.

実施形態の解析装置１０で実行されるプログラムは、インストール可能な形式又は実行可能な形式のファイルでＣＤ−ＲＯＭ、メモリカード、ＣＤ−Ｒ及びＤＶＤ（ＤｉｇｉｔａｌＶｅｒｓａｔｉｌｅＤｉｓｃ）等のコンピュータで読み取り可能な記憶媒体に記録されてコンピュータ・プログラム・プロダクトとして提供される。 The program executed by the analyzer 10 of the embodiment is a file in an installable format or an executable format, and is a computer-readable storage such as a CD-ROM, a memory card, a CD-R, and a DVD (Digital Versaille Disc). It is recorded on a medium and provided as a computer program product.

また実施形態の解析装置１０で実行されるプログラムを、インターネット等のネットワークに接続されたコンピュータ上に格納し、ネットワーク経由でダウンロードさせることにより提供するように構成してもよい。また実施形態の解析装置１０で実行されるプログラムをダウンロードさせずにインターネット等のネットワーク経由で提供するように構成してもよい。 Further, the program executed by the analysis device 10 of the embodiment may be stored on a computer connected to a network such as the Internet and provided by downloading via the network. Further, the program executed by the analysis device 10 of the embodiment may be configured to be provided via a network such as the Internet without being downloaded.

また実施形態の解析装置１０のプログラムを、ＲＯＭ等に予め組み込んで提供するように構成してもよい。 Further, the program of the analysis device 10 of the embodiment may be configured to be provided by incorporating it into a ROM or the like in advance.

実施形態の解析装置１０で実行されるプログラムは、上述した図１の解析装置１０の機能ブロックのうち、プログラムによっても実現可能な機能ブロックを含むモジュール構成となっている。当該各機能ブロックは、実際のハードウェアとしては、制御装置３０１が記憶媒体からプログラムを読み出して実行することにより、上記各機能ブロックが主記憶装置３０２上にロードされる。すなわち上記各機能ブロックは主記憶装置３０２上に生成される。 The program executed by the analysis device 10 of the embodiment has a module configuration including the functional blocks that can be realized by the program among the functional blocks of the analysis device 10 of FIG. 1 described above. As actual hardware, each functional block is loaded onto the main storage device 302 by the control device 301 reading a program from the storage medium and executing the program. That is, each of the above functional blocks is generated on the main storage device 302.

なお上述した図１の各機能ブロックの一部又は全部をソフトウェアにより実現せずに、ＩＣ等のハードウェアにより実現してもよい。 It should be noted that a part or all of each functional block of FIG. 1 described above may not be realized by software, but may be realized by hardware such as an IC.

また複数のプロセッサを用いて各機能を実現する場合、各プロセッサは、各機能のうち１つを実現してもよいし、各機能のうち２以上を実現してもよい。 Further, when each function is realized by using a plurality of processors, each processor may realize one of each function, or may realize two or more of each function.

また実施形態の解析装置１０の動作形態は任意でよい。実施形態の解析装置１０を、例えばネットワーク上のクラウドシステムとして動作させてもよい。 Further, the operation mode of the analysis device 10 of the embodiment may be arbitrary. The analysis device 10 of the embodiment may be operated as, for example, a cloud system on a network.

本発明のいくつかの実施形態を説明したが、これらの実施形態は、例として提示したものであり、発明の範囲を限定することは意図していない。これら新規な実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら実施形態やその変形は、発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。 Although some embodiments of the present invention have been described, these embodiments are presented as examples and are not intended to limit the scope of the invention. These novel embodiments can be implemented in various other embodiments, and various omissions, replacements, and changes can be made without departing from the gist of the invention. These embodiments and modifications thereof are included in the scope and gist of the invention, and are also included in the scope of the invention described in the claims and the equivalent scope thereof.

１分割部
２生成部
３解析部
１０解析装置
１０１ソースコード
１０２本体コード情報
１０３コンパイルスイッチコード情報
１０４状態情報
１０５解析結果
２０１条件別ソースコード
２０２解析結果
２０３集計結果
３０１制御装置
３０２主記憶装置
３０３補助記憶装置
３０４表示装置
３０５入力装置
３０６通信装置
３１０バス 1 Division 2 Generation unit 3 Analysis unit 10 Analysis device 101 Source code 102 Main body code information 103 Compile switch code information 104 Status information 105 Analysis result 201 Conditional source code 202 Analysis result 203 Aggregation result 301 Control device 302 Main storage device 303 Auxiliary Storage device 304 Display device 305 Input device 306 Communication device 310 Bus

Claims

A division unit that divides the source code into compile switch code information indicating the state control of the compile switch and main body code information that does not include the compile switch code information.
A generator that generates state information indicating the state of the compile switch for each line of the source code from the compile switch code information.
An analysis unit that analyzes the combination of the compile switches from the state information,
An analyzer equipped with.

The analysis unit further analyzes the dependency information depending on the combination of the compile switches from the main body code information and the state information for each combination of the compile switches.
The analyzer according to claim 1.

The dependency information includes variable information indicating whether or not the variables included in the source code are valid for each combination of the compile switches.
The analyzer according to claim 2.

The variable information further includes at least one of the type of the variable, the type of the variable, and the information contained in the comment line of the variable.
The analyzer according to claim 3.

The dependency information includes function information indicating whether or not the function included in the source code is valid for each combination of the compile switches.
The analyzer according to any one of claims 2 to 4.

The function information further includes at least one of the definition of the function and the information contained in the comment line of the function.
The analyzer according to claim 5.

The step of dividing the source code into the compile switch code information indicating the state control of the compile switch and the main body code information not including the compile switch code information.
A step in which the generation unit generates state information indicating the state of the compile switch for each line of the source code from the compile switch code information.
A step in which the analysis unit analyzes the combination of the compile switches from the state information,
Analysis method including.

Computer,
A division unit that divides the source code into compile switch code information indicating the state control of the compile switch and main body code information that does not include the compile switch code information.
A generator that generates state information indicating the state of the compile switch for each line of the source code from the compile switch code information.
An analysis unit that analyzes the combination of the compile switches from the state information.
A program to function as.