The main idea behind this study is that source code is naturally graph-structured and that automated analysis must work with representations that keep the grammatical hierarchy, control-flow semantics, and data dependencies ...