static-analysis

    0熱

    1答えて

    OPALプロジェクトのコンソール出力を無効にしますか？

    私は静的解析を実装するためにOPALフレームワークを使用しています。私は、実行中にコンソールに表示されるフレームワークのコンソール出力を抑止することが可能かどうか疑問に思った。以下は、出力の一部を示しています。 ... [info][OPAL] Bytecod Representation - Development Build (asserstions are enables) [info]
    scala static-analysis opal-framework 2016-06-27

    3熱

    1答えて

    WALAを使用したJavascriptのテント解析

    コード解析に基づいて、特定のアプリケーションを悪意のある、または悪意のないものに分類するFirefox OSアプリケーション分析ツールを開発しています。私の最初の作業は、JavaScriptファイルの静的テイント分析を実行することです。それはWALAを使って行うことが可能ですか？はいの場合は、どうですか？
    javascript static-analysis firefox-os taint 2016-05-20

    0熱

    1答えて

    C++のカバリティツールでSTACK_USEの値を変更する方法は？

    Coverityは、スタックサイズの使用量が10kバイトであると警告しています。 この値を< 25k>バイトに変更したいとします。 どうすれば設定できますか？ plz help
    c++ static-analysis coverity coverity-prevent 2016-05-24

    3熱

    1答えて

    静的解析ラムダ式を使用したテストメソッドのCA1811エラー

    テストの書き込み中に奇妙なVisual Studio静的解析エラーが発生しました。コードは両方のテスト方法FailCAとPassCAの両方にCA1811を生成します。 'ClassToTestTests.FailCA（）'には、上方向の公開者または保護された呼び出し元がないようです。 'ClassToTestTests.PassCA（）'には、上方向のパブリックまたは保護された呼び出し元がないよう
    c# lambda static-analysis 2016-05-31

    0熱

    1答えて

    OPAL：コードをメソッドに外部化した後にSingleOriginReferenceが見つからないのはなぜですか？

    私はOPALフレームワークを使ってJavaバイトコードの静的解析を開発しています。 現在、コードの構造を変更して機能を追加する必要があります。 ：私は別のメソッドに最後の場合は、大きなブロックを外部化理由です def singleCallUpperTypeBounds( caller: Method, pc: Int, calleeDescriptor: MethodD
    scala static-analysis opal-framework 2016-06-12

    4熱

    1答えて

    VisitDecl（クランRecursiveASTVisitor）

    私は、このリンクを読んだが、まだ完全にはTraverseDeclとVisitDecl（およびそのユースケース）の違い何を理解していないhttp://clang.llvm.org/doxygen/classclang_1_1RecursiveASTVisitor.html 書くとき、私はメソッドをオーバーライドする必要があります私のRecursiveASTVisitor？
    c++ clang abstract-syntax-tree static-analysis llvm-clang 2016-06-14

    1熱

    1答えて

    Coverity対IAR C-STAT

    Coverity vs. IARのC-STATの対戦比較またはレビューを知っている人はいますか？ 私はさまざまなツールを探しています。 IARは過去に私の会社で使用されていました。 Higher-UpsはCoverityに関心を示しています。私はそれらの間で比較分析をしようとしています。
    static-analysis iar coverity 2016-06-15

    2熱

    1答えて

    Djangoの "check"は設定をインポートできません

    プロジェクトが進化しているので、dev環境のDjangoのシステムチェックフレームワークの実行を開始したいと思います。テクノロジースタックは、Ubuntu、PostgreSQL、Django1.9 + UWSGIです。しかし... django-admin check は、次のエラーが出力さ： ImportError: No module named my_project.settings
    python django static-analysis 2016-06-22

    0熱

    1答えて

    は私のOPAL-分析ではOPAL

    ですが、私は、ドメイン次のように値を作成します上位型バインドまたは正確な実行時型。しかし、私はこの情報をそれぞれのDomainValueに渡す方法を知らない。 Iは、Javaメソッドの抽象解釈を実行するBaseAI.perform方法にこれらDomainValuesを渡す： BaseAI.perform(classFile, caller, domain)(Some(parameters))
    scala static-analysis opal-framework 2016-06-24

    2熱

    1答えて

    エイリアス解析vs.ポインタ解析とポイントツー解析

    現在、私は静的コード解析について多くのことを読んでいます。私は本当に違いが何であるか分からないので、私を混乱させる言葉がいくつかあります。 エイリアス解析 ポインタ解析 ポイント-に分析 両者の差は、（もしあれば）は何ですか？
    code-analysis static-analysis 2016-06-25
最新の質問