XCSG 解説集

XCSG（Extensible Common Software Graph）は、Atlas がコードベースを表現するために用いるスキーマです。Atlas が抽出するすべてのアーティファクトは、そのグラフのノードまたはエッジです。したがって、XCSG に対するクエリは、プログラムの解析です。

• XCSG 解説集: はじめに。タグとは何か、ノードとエッジのルート、およびすべてのアーティファクトが持つ属性です。
• XCSG 解説集 — 制御フロー。文、条件、ループと、制御フローグラフを構築するクエリです。
• XCSG 解説集 — データフロー。代入、演算子、ポインター、配列を含め、値が、あるメモリ位置から別のメモリ位置へどのように移動するかです。
• XCSG 解説集 — 手続き間フロー。関数間の呼び出しと、パラメーター、戻り値、およびグローバル変数を通じて移動するデータです。