データの入力（例：JavaのgetParameter）行から、そのデータの出力（例：javaのexcuteQuery）行までを追跡し、危険なデータ(例：シングルコーテーション等)が無害化されるか検査します。

このエンジンが検出する主な脆弱性カテゴリは「SQLインジェクション」や「xpathインジェクション」、「クロスサイトスクリプティング」等の注入系脆弱性カテゴリです。

コントロール（例：データベースコントロールオブジェクトやファイルハンドラ等）に着目し、オブジェクトが生成されてから破棄されるまでのフローを追跡し、危険な使用方法がないか検査します。

このエンジンが検出する主な脆弱性カテゴリは「リソースの開放漏れ」などです。

プロシージャ内レベルにおける関数やAPIの潜在的に危険な利用方法をパターンマッチングにて検出します。

このエンジンが発見する主な脆弱性カテゴリは「バッファオバーフロー」や「CSRF」などで、例えばC言語のfgets関数やHTML上の入力パラメータを検出します。（脆弱性となりうるかどうか別途、目視の判断が必要となる情報レベルの問題が多く含まれます。）

関数や変数、クラスの宣言をその階層構造に着目して追跡し、プログラムの構造や定義内の潜在的に危険な欠陥を検出します。

このエンジンが検出する主な脆弱性カテゴリは「シングルトンメンバーフィールド」等、メモリの競合や排他に関する問題が多く含まれます。

アプリケーションの設定ファイルを検査し、その誤り、弱点、およびポリシー違反を検出します。

このエンジンが検出する主な脆弱性カテゴリは「コネクションタイムアウトの未設定」など設定ファイル上の問題です。