语法树的节点包括语句、声明、函数调用、操作数,语法树的边为语句结构的嵌套。
控制流图的节点包括语句、条件,控制流图的边为控制的条件流,控制流图的生成需要依靠语法树的节点。
程序依赖图的节点包括语句和条件,边为控制和数据的之间依赖,程序依赖图的生成需要依靠语法树的节点和边。
最后将语法树的节点以及语法树的边,控制流图的边,程序依赖图的边组合得到源码的属性图(CPG, Code property graph),它是一个依附于节点的边标记的具有属性的图。