During static analysis, the tool over-approximated the program's possible behaviors, causing many false positives.
静的解析の際、そのツールはプログラムの可能な挙動を過大に見積もったため、多くの誤検知が発生した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
