制御フローグラフの英語

それぞれの制御フローグラフ（ＣＦＧ）を構築する。例文帳に追加

Respective control flow graphs (CFG) are structured. - 特許庁

それぞれの制御フローグラフ（ＣＦＧ）を構築する。例文帳に追加

Control flow graphs CFGs are constructed for the respective programs. - 特許庁

制御フローグラフ生成部１２は、ソースコードから処理の流れをグラフ形式で表示した制御フローグラフを生成する。例文帳に追加

A control flow graph generating section 12 generates a control flow graph that displays a flow of a processing in a graph form, from a source code. - 特許庁

制御パスセット生成部１５は、制御フローグラフ、及びソフトウェア構造にかかる第１カバレッジ基準に基づき、ソースコード内の実行パスを含む制御パスセットを生成する。例文帳に追加

A control path set generating section 15 generates a control path set including an execution path in the source code on the basis of first coverage criteria related to a control flow graph and a software structure. - 特許庁

第１のプログラムの一部に関する第１の制御フローグラフ（ＣＦＧ）表現と、第２のプログラムの一部に関する第２のＣＦＧ表現との間でプロシージャをマッチングする。例文帳に追加

To match a procedure between first control flow graph (CFG) expression on a part of a first program and second CFG expression on a part of a second program. - 特許庁

アプリケーション・プログラムの制御フローグラフを作成し（Ｓ４００）、制御フローグラフに基づいて、前記アプリケーション・プログラムで発生するデータフロー問題の解を算出し（Ｓ５００）、算出した解に基づいて、前記アプリケーション・プログラムの不整合を検出し（Ｓ６００）、検出した不整合に関する情報と修正内容を表示する（Ｓ７００）。例文帳に追加

A control flowgraph of the application program is prepared (S400), solutions of data flow problems that occur in the application program are calculated on the basis of the control flowgraph (S500), mismatching of the application program is detected on the basis of the calculated solutions (S600), and information on the detected mismatching and correction contents are displayed (S700). - 特許庁

具体的には、データフロー解析装置は、検出箇所の手続きの制御フローグラフを作成し、検出箇所の位置から制御フローグラフを逆順に到達可能なノードのうち、手続き呼び出しを抽出し、重複しているもの、すでに解析規則に安全化手続き定義として存在するもの、返値がないものを全て除外し、残った手続き群を追加規則候補として生成する。例文帳に追加

More specifically, the data flow analysis apparatus creates a control flow graph of a procedure of the detected points, extracts procedure calls with respect to nodes reachable in a reverse sequence of the flow graph from positions of the detected points, omits all the overlapped procedures, existing secure procedure definitions in the analysis rule, and procedures not returning values, and generates a remaining procedure group as the candidates. - 特許庁