Last Updated:2025/11/24

The static analyzer overapproximated the set of reachable states, leading to many false positives.

See correct answer

The static analyzer overapproximated the set of reachable states, leading to many false positives.

音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)
Source Sentence

静的解析ツールは到達可能な状態の集合を過大に近似し、多くの誤検知を引き起こした。

Sentence quizzes to help you learn to read

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★