■オブジェクト・コード・インサーション(Object Code Insertion)技術

Quantirys™ for Linux and Unixでは、この技術を用いて、オブジェクト・コードの中にそれぞれの機能に対応したチェック用の命令を挿入します。つまり、チェック・コードを埋め込んだ形で、スタンダードな実行形式を生成しています。

この技術を用いることにより、ソースコードが無い部分 (システムライブラリやサードパーティライブラリ等) に対してもチェックを行なうことが出来、プログラムを包括的にチェックすることが出来ます。