YOU SAID:

Concolic execution uses a combination of concrete and symbolic execution to analyze how input values flow through a program as it executes, and uses this analysis to identify other inputs that can result in alternative execution behaviors

INTO JAPANESE

Concolicの実行では、具体的な実行とシンボリック実行の組み合わせを使用して、入力値がプログラムの実行時にどのように流れるかを分析し、この分析を使用して、代替実行ビヘイビア

BACK INTO ENGLISH

Concolic's execution uses a combination of concrete execution and symbolic execution to analyze how input values ​​flow during execution of the program and use this analysis to calculate alternative execution behaviors

INTO JAPANESE

Concolicの実行は、具体的な実行とシンボリック実行の組み合わせを使用して、プログラムの実行中に入力値がどのように流れるかを分析し、この分析を使用して代替実行動作を計算します

BACK INTO ENGLISH

Concolic's execution uses a combination of concrete execution and symbolic execution to analyze how input values ​​flow during the execution of the program and uses this analysis to calculate alternative execution behavior

INTO JAPANESE

Concolicの実行は、具体的な実行とシンボリック実行の組み合わせを使用して、プログラムの実行中に入力値がどのように流れるかを分析し、この分析を使用して代替実行動作を計算します

BACK INTO ENGLISH

Concolic's execution uses a combination of concrete execution and symbolic execution to analyze how input values ​​flow during the execution of the program and uses this analysis to calculate alternative execution behavior