C-RUN は、以下の 3 種類のランタイムエラー解析をサポートしています。

• 算術解析には、整数のオーバフローとアンダーフロー、誤ったシフト、ゼロによる除算、値が変化する変換、switch文における未処理のケースの解析が含まれます。通常は算術解析のオーバヘッドは特に高くはありません。複雑な問題もなく、モジュールごとに有効または無効にすることができます。

• 境界チェックは、ポインタ経由のアクセスがポイント先のオブジェクトの境界内にあるかどうかをチェックします。境界チェックにはポインタの境界を追跡するためのコードの実装が伴い、コードサイズと速度の両面でコストが比較的高くなります。間接的にアクセスされるポインタのグローバル境界テーブルも必要です。モジュールや関数ごとに追跡やチェックだけを無効にすることができますが、ポインタの境界がすべてのコードで追跡されない設定の場合は通常、何らかのコード調整が必要となります。

• チェック済みのヒープを使用したヒープチェックでは、ヒープメモリの使用においてエラーがないかチェックします。ヒープチェックでは、ヒープメモリへの間違ったライトアクセス、ダブル・フリー、一致しない割当てと割当て解除、さらに明示的な呼び出しをすることでリークのあるヒープブロックを検出できます。チェック済みヒープを使用すると、各ヒープブロックのメモリサイズが大きくなり、ヒープサイズを増やさなければならないことがあります。また、通常のヒープに比べてヒープの処理に多くの時間がかかる可能性があります。さらに、ヒープ関数が呼び出されたときにだけチェックが行われるため、すべてのヒープライトエラーが検出されるわけではありません。

C-RUN のランタイムチェックを実行する前に、問題を見つけるためにコンパイラのあらゆる機能を使用してください。

• K&Rスタイルの関数の宣言は使用せず、代わりにプロトタイプスタイルを使用してください。‑‑require_prototypes』の‑‑require_prototypesをお読みください。

• ランタイムチェックを実行する前に、あらゆるコンパイラのワーニングに注意してください。ほとんどの場合、一度ワーニングが表示された問題をチェックするコードは出力されません。以下に例を示します。

  unsigned char ch = 1000; /* Warning: integer truncation */

  整数の変換チェックが有効の場合であっても、出力されたコードにはこの場合のチェックはまったく含まれません。単に値232（1000 ＆ 255）をchに割り当てるだけのコードです。

• 検出された各エラーについて詳しいエラー情報がコールスタック情報とともに提供され、エラーに関するコードとの相関関係とフィードバックがエディタウィンドウに表示されます。

• プロジェクトレベル、ファイルレベルまたは指定のコード位置における個々のランタイムエラーに対して、実行の停止、ログ、無視するようにエラールール管理できます。フィルタ設定をロード/セーブすることができます。

• 各メッセージについてエディタウィンドウでブックマークを設定できるため、メッセージ間の移動が容易（F4を使用）。

IDE では、C-RUN に以下のウィンドウが用意されています。

• ［C-RUNメッセージ］ウィンドウはC-RUNが生成するすべてのメッセージが一覧表示されます。各メッセージにはメッセージタイプ（実行されたチェックを反映）、問題を説明する文、コールスタックが含まれます。対応するソースコード文は、エディタウィンドウで強調表示されます。［C-RUN メッセージ］ウィンドウを参照してください。

• ［C-RUNメッセージルール］ウィンドウには、すべてのルールが一覧表示されます。［C-RUN メッセージルール］ウィンドウを参照してください。ルールによって、［C-RUNメッセージ］ウィンドウに表示されるメッセージが決まります。