条件を指定して検索しています。すべての条件を解除する
2024/5/3 -PREfast for Drivers は、Microsoft Automated Code Review (OACR) の一部として WDK Build 環境にも統合されました。 Windows Driver Kit (WDK) 8 以降、 ...
2024/4/8 -PREfast は、初期化関数から呼び出しが行われたかどうかを判断できませんでした。 フィードバック. このページはお役に立ちましたか? Yes いいえ. 製品 ...
2005/3/17 -PREfastは、CやC++といったネイティブコード上で、欠陥の可能性を検知し、その情報を通知するツールである。PREfastが検知できるコードのエラーは、 ...
2005/4/21 -C/C++コードに対するバグを指摘するPREfast. PREfastは，C/C++言語向けのツールで，バッファ・オーバーフロー＊，初期化していないメモリーへの ...
PREfast は、関数ごとにコードを解析し、共通のロジックと使用法のエラーをチェックします。このツールは、一般のコンパイラが容易に検出できない、特定のクラスの ...
静的コード分析としては、「PREfast」および「FXCop」という2種類のツールが統合されている。PREfastはアンマネージ・コードのC／C++向けの静的解析ツールで、メモリ ...
Windows, Visual Studio, Cygwin, MINGW, NuGet, Visual Studio PREFAST (Code Analysis). Azure Pipelines · Build Status, Config matrix test, Visual ...
PREfast - Windows用のデバイスドライバを開発するのに使用するWDKの一部; Review-C （商用）; Smatch - C言語ソースチェッカー。主にLinuxカーネル用。 Sparse (GPL) ...
そのほかのツールとしては，本連載第 4 回（2007 年 8 月. 号，pp.173-178）で取り上げた Prefast や DTM のほか，. SDV（Static Driver Verifier）のようなツールもこれ ...
2012/6/4 -PREfast for Drivers (PFD) (PREfast の拡張機能) は、コンパイラや従来のランタイム テストでは発見できないエラーを検出する、コンパイル時用の静的検証 ...