コベリティスキャン次のプログラムを考えるプログラム

Question

に特定のポイントの到達可能性を分析するための注釈またはモデル。 （非決定論的な浮動小数点）

some_error（）は、プログラムを終了させるエラーとしましょう。

質問：コベリティは

1. ですがsome_error（）が到達可能であるかどうかを分析することができ、スキャン？または単に「some_error（）はデッドコードです」と言うことができますか？

2. 非公開のフロート/ダブルまたは非決定論的ループをシミュレートするために、カバレッジスキャンを使用できますか？

これが可能であれば、どのように知っているかは分かります。 モデルを定義する必要はありますか？注釈を使用する必要がありますか？

ありがとうございます。

Answer 1

これは停止問題に相当するものであり、決まっていない（つまり、some_function（）が呼び出されるかどうかがわからないという定義が常にある）。

これは頻繁に推測できないか、信頼できるとは言えませんが、不可能な場合があります。