Specifications

The core of the code property graph are its nodes and edges. Here, you find the links to the specifications of the following concepts:

• Explore our Graph Model
• Data Flow Graph (DFG)
• Data Flow Graph (DFG) Function Summaries
• Evaluation Order Graph (EOG)
• Program Dependence Graph (DFG)
• Our inference rules which may modify the graph
• Read about our overlay graph if you want to encode more information