12

現在、スタックが破損している大規模なプロジェクトをデバッグしています。アプリケーションが失敗します。

Visual Studio 2010 でこのようなスタック破損コードを見つける (デバッグする) 方法を教えてください。

スタックの問題を引き起こすコードの例を次に示します。このタイプの破損の明らかでないケースをどのように見つけることができますか?

void foo()
{
    int i = 10;
    int *p = &i;
    p[-2] = 100;
}

アップデート

これは単なる例であることに注意してください。現在のプロジェクトでそのような悪いコードを見つける必要があります。

4

3 に答える 3

5

これらの種類のバグに非常に効果的なテクニックが 1 つありますが、いくつかの特徴を持つバグのサブセットでしか機能しません。

  • 破損している値は安定している必要があります (つまり、あなたの例のように、破損が発生した場合は常に 100 です)、または少なくとも単純な式で容易に識別できるものでなければなりません
  • 破損はスタック上の特定のアドレスで発生する必要があります
  • 破損した値は十分に異常であるため、多数の誤検知に見舞われることはありません

スタックは実行時のアクションに応じて非常に多くの異なる方法で使用できるため、2 番目の条件は一見ありそうにないように見えることに注意してください。ただし、スタックの使用は一般的にかなり決定論的です。問題は、特定のスタックの場所が非常に多くの異なるものに使用される可能性があるため、実際には項目 #3 にあることです。

とにかく、バグにこれらの特徴がある場合は、破損したスタック アドレス (またはそれらの 1 つ) を特定し、そのアドレスへの書き込みにメモリ ブレークポイントを設定して、書き込まれた値が次の場合にのみブレークする条件を設定する必要があります。破損した値。Visual Studio では、[ブレークポイント] ウィンドウで "新しいデータ ブレークポイント..." を作成し、ブレークポイントを右クリックして条件を設定することでこれを行うことができます。

誤検知が多すぎる場合は、バグに近い実行パスのあるポイント (そのような時間を特定できる場合) までブレークポイントを無効のままにするか、ヒットを設定することで、ブレークポイントの範囲を狭めることができます。誤検知のほとんどを取り除くのに十分な数をカウントします。

さらに複雑なのは、スタックのアドレスが実行ごとに変わる可能性があることです。この場合、実行ごとにブレークポイントを設定するように注意する必要があります (アドレスの下位ビットは同じである必要があります)。

于 2011-09-03T17:10:55.373 に答える
2

あなたの質問はスタックの破損の例を引用していると思います。あなたが尋ねている質問は、クラッシュする理由ではありません。

そうである場合、インデックスが不明なメモリ位置を指しているため、未定義の動作が作成されるため、クラッシュします。-2

アプリケーションのプロファイリングに関する質問に答えるには: Rational Purify Plus for Visual Studio を使用して、メモリの上書きとアクセス エラーをチェックできます
。

于 2011-09-03T16:22:36.340 に答える
-1

これはUBです：p[-2] = 100;

operator[]in this( )の方法で p にアクセスできますp[i]が、この場合iは無効な値です。そのp[-2]ため、無効なメモリ位置を指し、未定義の動作を引き起こします。

それを見つけるには、アプリをデバッグしてクラッシュする場所を見つける必要があります。うまくいけば、実際に何かが間違っている場所にあるはずです。

于 2011-09-03T16:22:09.343 に答える