callgraph (library)

Usage:call_graph(File,Graph)

Graph is the call-graph of the code in File.

• The following properties should hold at call time:
  (c_itf_props:filename/1)File is an atom describing the name of a file.
  (term_typing:var/1)Graph is a free variable.
• The following properties should hold upon exit:
  (ugraphs:ugraph/1)Graph is an ugraph.

Usage:reachability(Graph,Sources,Reached,UnReached)

Reached are the vertices in Graph reachable from Sources, UnReached are the rest.

• The following properties should hold at call time:
  (ugraphs:ugraph/1)Graph is an ugraph.
  (basic_props:list/1)Sources is a list.
  (term_typing:var/1)Reached is a free variable.
  (term_typing:var/1)UnReached is a free variable.