graphis

Inspects OCaml heap values and lowers the reachable object graph to Graphviz DOT.

API

The capture context is the alias analysis boundary. Values captured through the same context share one address table, so repeated physical values lower to the same node and cycles terminate through the visited set.

Graphis.context (fun ctx ->
  let shared = [| "left"; "right" |] in
  let root = shared, shared in
  Graphis.print_dot Format.std_formatter
    [ "root", Graphis.capture ctx root ])

The same graph can be written as DOT for Graphviz:

Graphis.context (fun ctx ->
  let shared = [| "left"; "right" |] in
  let root = shared, shared in
  Graphis.write_dot "heap.dot"
    [ "root", Graphis.capture ctx root ])