Imagix 4Dの機能には、システム内の関数、変数、およびタスクフローを解析する一連のレポートが含まれています。これらのレポートは、読み取られることのない変 数または再帰的な関数呼び出しの連鎖など、設計上またはコーディング上の問題であり、ソフトウェアにおいて実行時の問題を発生させる可能性のある条件を検 出します。

ここに示したレポートでは、ソフトウェアにおける複数のタスクの相互作用を解析し、再入関数つまり複数のタスクから呼び出される関数を報告します。レポー トでは、指定された関数を呼び出すタスクだけでなく、その関数がクリティカルな領域（割り込み禁止またはセマフォによって保護されているソフトウェアの範 囲）内から呼び出されたかどうかを示します。

その他のタスクフローレポートでは、一致しないクリティカルな領域、複数のタスクで設定されている変数、およびタスク間での変数のフィードバックループをチェックします。