main 関数なしで C ファイルに対して Frama-C を実行すると、エラーが発生しました。そのような C ファイルで Frama-C 値解析を実行するオプションはありますか?
質問する
218 次
1 に答える
2
グローバル分析オプションについて説明しているユーザー マニュアルの第 6 章が、あなたの質問に答えています。当然のことながら、関連するオプションは-main...と呼ばれます。
于 2013-07-18T23:27:08.703 に答える