Module GraphExport
Module for exporting an arbitrary graph as models-as-data rows.
Import path
import codeql.mad.dynamic.GraphExport
Predicates
pathToNode | Holds if |
summaryModel | Holds if |
typeModel | Holds if |
Module for exporting an arbitrary graph as models-as-data rows.
import codeql.mad.dynamic.GraphExport
pathToNode | Holds if |
summaryModel | Holds if |
typeModel | Holds if |