問題タブ [vera++]

vera++ 静的アナライザーのルールを作成しようとしています。ここで vera++ のグループが見つからず、その vera++ は TCL を使用して分析用のルールを実装しているため、TCL フォーラムに投稿しました。私は vera++ inspirel.com/vera/ce/doc/tclapi.html に取り組んできましたが、TCL をあまり知らないので、さらにアプローチするためのアドバイスが欲しかったのです。

私はTCLプログラミングの初心者ですが、C++ソースコードファイル内のすべてのローカル変数をリストするTCLプログラムのアプローチを知りたいですか? つまり、どのようなアプローチで、どのように達成できるのでしょうか?

私が直面している問題は、ローカル変数の宣言を検出するために C++ ソース コード ファイルを解析しているときですか?

Vera ++または静的アナライザーに関する知識がある場合は、スルーしてください。

複雑な C++ ルール検証マシンを静的アナライザーとして実装するにはどうすればよいですか? 基本クラスの仮想関数、クラス、構造体などのユーザー定義変数の識別などの複雑なルールを実装したい.グローバル、ローカル、静的などの変数スコープ.Vera++をよく理解していた.トークンの解析のみを行っている.言語のコンテキストはスクリプトを介して実装する必要があります (言語が C++ の場合、実装されたコンテキストは複雑すぎる可能性があります)。a *b; を区別するためです。(これは、クラス型 a のポインター b である可能性があります) または a *b;(変数内の 2 つの単純な乗算である可能性があります);

複雑なルールの実装には、スクリプトが言語のコンテキストを理解できるように、ステート マシンのようなコンパイラが必要になるかもしれないとさえ感じています。

私の質問はただ尋ねることです：

1. Static Analyzer Rules の実装に関して、私の理解は正しいですか。

2. このタスクを達成するためにどのように進めればよいか、少し教えてください。

3. これらのタスクは、tcl の REGEXP によって簡素化できますか。

4. Solid C++ Code Analyzer を適切に実装するために提案できる特定の設計アプローチはありますか?

Windowx XP SP3 の Visual Studio 2008

Vera++とCppCheckがインストールされており、 Visual Lintツールバーを使用してそれらを使用しようとしています。

CppCheck を選択してバックグラウンド分析を開始すると、問題なく動作し、期待どおりの結果が得られます。

ただし、Vera++ を選択して分析を実行すると、(すべてのファイルで) 次のような致命的なエラーが発生します。

問題のエラー: (致命的なエラー -- プロファイルの既定のプロファイルの説明を開けません)

私が持っている構成オプションは、基本的に正しいVeraインストールへのパスです。

これを修正するために何をする必要があるかについてのアイデアはありますか?

CppCheckのように、静的かどうかに関係なく、Qtでメモリリーク検出器を探しています。次に、Valgrind (Valgrind メモリ アナライザー リモート) と Vera++ を見つけました。Valgrind は Qt と統合されています。Windows では正常に動作しますか? 実行ファイルであるVera++も入手しましたが、使い方がわかりません。これらの両方をどのように使用するか教えてもらえますか？

本当にばかげている気がしますが、vera++ でワイルドカードを使用するにはどうすればよいですか? 私はできると思います：

しかし、私は得る：

ありがとう、ダニエル・デッカーズ

Windows で vera++ を使用する方法

それはうまくいきますが、このファイルのコードをどのように変更 (再フォーマット) しますか?

画面：

http://i.stack.imgur.com/pEGKF.png

Qtでアプリケーションを開発しており、サーバーには自動ビルドと自動テスト用のgenkinサーバーがあります。vera++ のようなコーディング規約テスト ツールが必要です。vera++ やその他のツールの経験はありませんが、vera++ で Qt プロジェクト (.pro) のすべてのファイルを処理できるようにしたいだけです。また、このツールを QtCreator に統合することは可能ですか?

インターネットで何も見つかりませんでした。ありがとう。