1

静的解析 (コンパイラなど) が検出でき、シンボリック実行では検出できないエラーの種類は何ですか? また、シンボリック実行では検出でき、静的解析では検出できないエラーにはどのようなものがありますか? たとえば、シンボリック実行は構文エラーを検出できますか?

4

1 に答える 1