News

Abstract: Many program-analysis techniques, such as data-flow and control-dependence analysis, and software-engineering techniques, such as program slicing and testings, use control flow graph (CFG).
Graph Representations to Export: Abstract Syntax Trees (AST) Control Flow Graphs (CFG) Control Dependence Graphs (CDG) Data Dependence Graphs (DDG) Program Dependence Graphs (PDG) Code Property Graphs ...
Based on these traces, we build a whole-program control and data flow graph (CDFG) for each run and compare the resulting graphs to obtain a measure of the variance in the observed control and data ...