static-analysis

2熱

1答えて

は例えば、このようなアプリ持って私たちをみましょう？リファクタリングの後、私はいくつかの機能を呼び出すことをやめました。その機能を安全に削除できることを通知できるコンパイラフラグまたはリンターはありますか？

1熱

1答えて

スキャンビルドを使用して異なるターゲット上でclangスタティックアナライザを実行する方法

別のターゲットでclangスタティックアナライザを実行したい。ここにmakefile snipがあります： CC = <path to clang folder>/build/bin/clang . . . src/%.o: ../src/%.c ${CC} --target=powerpc -O0 -g3 -Wall -c -fmessage-length=0 -MMD -M

0熱

3答えて

アセンブリ内の検索メソッドの名前

私は以下のようなコードをC＃に持っていますが、MyClassはプロジェクト内のライブラリのクラスです。どのようにして静的解析を行い、コードMethod1とMethod2が何回呼び出されたかを調べることができます。出力は次のようになります。namespace.MyClass.Method1 = 4、namespace.MyClass.Method2 = 1 namespace.MyClass ob

0熱

1答えて

エイリアス解析と_restrictキーワード - C

エイリアス解析は、__restrictと__noaliasのようなキーワードでどのように動作しますか？エイリアシングがないと証明していますか？または、ポインタに応じて独自の結果を計算するだけですか？まだエイリアス解析、入力と出力ポインタが__restrictで十分にマークされていたにもかかわらず：、負荷-binopストアシーケンスをやって多くのタイトなループで、以下のボトルネックが見られたL

1熱

1答えて

JessieプラグインとFrama-cの統合

統合の仕方 Jessieの外部プラグイン（なぜ2.36）を Frama-cで表示しますか？

2熱

2答えて

スキャンサービスと「このプラットフォームはCoverityでサポートされていません」

OS Xでスキャンを送信しようとしています。procedure I am followingは32ビット版と64ビット版のLinux上で動作します。 nmake。 cov-build OS X上で失敗している： $ CXXFLAGS="-DNDEBUG -g2 -O3" cov-build --dir cov-int make -j 2 Coverity Build Capture (64-b

3熱

1答えて

無効アサーション

追加操作用shortとcharデータ型のオーバーフローを確認しながら、FRAMA-Cによって挿入されたアサーションがあるが正しくないと思われる：charのと短いデータでは正の最大値と負の値は整数データ型です。この理由は何ですか？

2熱

1答えて

Fisherメソッドmatlabを使用してP値を結合する？</p> <p>選択：

はCDFを行った後、私はP（それらのサンプル） [0.43 0.12 0.0021 0.05 0.017 0.001 0.025 0.038 0.35 0.29] 私はFisher方法の助けを借りて、私のP値を組み合わせて、次のように出力を取得したいのは次の値を受け取りました最初に3 Pの値を組み合わせ、それらを結合し、これから結果を得ます（fisherメソッドを使用）。例えば、私の最初の結合

12熱

1答えて

警告は、私はこの簡単なプログラムのコンパイルC++ 11

に消える：をし、私はそれらの警告を得る：もちろん $ g++ -std=c++11 -Wall -Wextra -Wpedantic foo.cpp -o foo foo.cpp: In function ‘int main()’: foo.cpp:21:9: warning: unused variable ‘bar’ [-Wunused-variable] Bar bar