Static program analysisとは 意味・読み方・使い方

STATIC TIMING ANALYSIS METHOD AND PROGRAM例文帳に追加

静的タイミング検証方法および静的タイミング検証用プログラム - 特許庁

To provide an SQL static analysis program and an SQL static analyzer using a static analysis technology contributing to performance improvement of database access.例文帳に追加

データベースアクセスの性能改善に寄与する静的解析技術を用いたＳＱＬ静的解析プログラム及びＳＱＬ静的解析装置を提供する。 - 特許庁

Static analysis information (such as complexity) on a partial region of a source program including a similar region (clone piece) is calculated.例文帳に追加

上記課題を解決するため、類似領域（クローン片）を含むソースプログラムの部分領域の静的解析情報（複雑度等）を算出する。 - 特許庁

To provide a technique speeding up a program by utilizing a combination of a static analysis result and a dynamic analysis result and precisely pre-compiling a program block (PB) with a high importance level especially in a multicore environment.例文帳に追加

特にマルチコア環境において、静的解析結果と動的解析結果を組合わせて利用し、精度良く重要度の高いプログラムブロック（ＰＢ）の事前コンパイルを行い、プログラムを高速化する技術を提供する。 - 特許庁

To provide a system that does not display a warning message to an analyzed source program on an output device and displays a warning message to an added or corrected source program on the output device when addition or correction is applied to the source program having undergone static analysis and static analysis is performed again.例文帳に追加

静的解析済みのソースプログラムに追加または修正を行い再度静的解析を行う場合、 すでに解析を行っているソースプログラムに対する警告メッセージは出力装置に表示させず、追加または修正したソースプログラムに対する警告メッセージを出力装置に表示させるシステムを提供する。 - 特許庁

A system and a method for infeasible path detection include performing a static analysis on a program to prove a property of the program.例文帳に追加

実行不可能な経路検出のためのシステム及び方法は、プログラムの性質を証明するためのプログラムに静的解析を行うことを含んでいる。 - 特許庁

A static source analysis part 10 statically analyzes the program inside a source program storage part 5, digs up a dynamically calling side function and a dynamically called side function, and imparts an identification label to each the function.例文帳に追加

静的ソース解析部１０は、ソースプログラム蓄積部５内のプログラムを静的に解析し、動的呼出し側関数及び動的呼出され側関数を洗い出し、各関数に識別ラベルを付与する。 - 特許庁

To provide a static program analysis system for contributing to prevent errors in an actually running program by cooperating an importance of a rule with occurrence of an error.例文帳に追加

ルールの重要度を不具合の発生と連携させることによって、実際に稼動しているプログラムでの不具合発生を未然に防ぐことに貢献できるプログラム静的解析システムを提供することを目的とする。 - 特許庁