backhopper-xref-graph 0.28.0

Whole-program call-graph primitives for backhopper-xref: vertices, relations, set algebra, transitive closure
Documentation

Whole-program call-graph primitives for backhopper-xref.

This crate has no Erlang knowledge. It provides:

  • [Vertex] and [FunctionRef]: entities the graph tracks
  • [VertexSet] and [Relation]: finite sets and binary relations with the operators a call-graph analysis needs (union, intersection, compose, image, transitive_closure, …)
  • [CallGraph]: the aggregate, parameterised on a mode marker ([Functions] vs [Modules]) and a phase marker ([Building] vs [Built]) so misuses become compile errors