アクセス検査では、読み取り、書き込み、割り当て、解放の各操作をモニターすることによって、プログラムが正しくメモリーにアクセスしているかどうかをチェックします。
プログラムが誤ってメモリーの読み書きを行う状況にはさまざまなものがあります。これらはメモリーアクセスエラーと呼ばれます。たとえば、プログラムは、ヒープブロックに対する free() の呼び出しを使用して解放されたメモリーブロックを参照することがあります。または、関数が局所変数へのポインタを返すことがあり、そのポインタにアクセスするとエラーが発生します。アクセスエラーはプログラムでワイルドポインタの原因になり、間違った出力やセグメント不正など、プログラムの異常な動作を引き起こす可能性があります。ある種類のメモリーアクセスエラーは、見つけるのが非常に困難です。
RTC は、プログラムによって使用されているメモリーの各ブロックの情報を追跡するテーブルを管理します。プログラムがメモリー操作を行うと、RTC は関係するメモリーブロックの状態に対してその操作が有効かどうかを判断します。可能性のあるメモリーの状態は次のとおりです。
割り当てられていない、初期状態。メモリーは割り当てられていません。この状態のメモリーはプログラムが所有していないため、読み取り、書き込み、解放のすべての操作が無効です。
割り当てられているが、初期化されていない。メモリーはプログラムに割り当てられていますが、初期化されていません。書き込み操作と解放操作は有効ですが、初期化されていないので読み取りは無効です。たとえば、関数に入るときに、スタック上にメモリーが割り当てられますが、初期化はされません。
読み取り専用。読み取りは有効ですが、書き込みと解放は無効です。
割り当てられており、かつ初期化済み。割り当てられ、初期化されたメモリーに対しては、読み取り、書き込み、解放のすべての操作が有効です。
RTC を使用してメモリーアクセスエラーを見つける方法は、コンパイラがプログラム中の構文エラーを見つける方法と似ています。いずれの場合でも、プログラム中のエラーが発生した位置と、その原因についてのメッセージとともにエラーのリストが生成され、リストの先頭から順に修正していかなければなりません。これは、あるエラーがほかのエラーと関連して連結されたような作用があるためです。そのため、チェーン内の最初のエラーは「最初の原因」であり、そのエラーを修正すると以降のエラーの一部も修正される可能性があります。
たとえば、初期化されていないメモリーの読み取りにより、不正なポインタが作成されるとします。すると、これが原因となって不正な読み取りと書き込みのエラーが発生し、それがまた原因となってさらに別の問題が発生するというようなことになる場合があります。