Function call graph validation from MSc thesis

thesis-call-graph.neo4j.adoc

Call graph validation

Call graph

CREATE
  (f1:Symbol:Defined { name: 'f1' }),
  (g1:Symbol         { name: 'g1' }),
  (g2:Symbol         { name: 'g2' }),
  (g3:Symbol         { name: 'g3' }),
  (g4:Symbol         { name: 'g4' }),
  (g5:Symbol         { name: 'g5' }),
  (f3:Symbol         { name: 'f3' }),
  (f2:Symbol:Defined { name: 'f2' }),
  (g8:Symbol         { name: 'g8' }),

  (f1)-[:calls]->(g1),
  (f1)-[:calls]->(g2),
  (f2)-[:calls]->(g3),
  (f2)-[:calls]->(g4),
  (f2)-[:calls]->(g5),
  (f3)-[:calls]->(g7),
  (f3)-[:calls]->(f2),
  (f3)-[:calls]->(g8)

RETURN *

And here’s a pretty (isomorphic) picture:

And here’s a table: