3

システムでスプリント全体のプログラム分析を実行したい。ただし、システムは非常に大きく、さまざまな部分がさまざまなコンパイラ定義とインクルードパスでコンパイルされます。この情報を単一のファイルのスプリントに伝達する方法はわかりますが、プログラム全体でそれを行う方法がわかりません。誰かがこれを行う方法を知っていますか?

4

1 に答える 1

1

あなたが持っていると仮定すると、Makefileあなたは新しいターゲットを作成することができます。次に、実際のコンパイル手順を実行して、コンパイラの代わりにSplintを使用してそれらを複製します。

しかし、私のアドバイスは、プログラム全体のアプローチに反対です。システムを別々の部分に分離できるのであれば、私はむしろそれらを1つずつチェックすることから始めたいと思います。プログラムは「かなり大きい」ので、モジュールごとに膨大な数の警告が表示されることを期待してください。ソースコードに適切なセマンティックアノテーションを振りかけると、それらを取り除くことができます。幸運を!:)

于 2011-05-18T14:02:53.893 に答える