package rdbg

  1. Overview
  2. Docs
val verbose : bool Stdlib.ref
val gen_call_graph : RdbgEvent.t -> RdbgEvent.t

Generates a dot and a pdf file that contains the CG from the current call (fails if the event kind is not a 'call')

val gen_call_graph_full : RdbgEvent.t -> RdbgEvent.t

Ditto, but also generates the call graphs of sub-calls (accessible by clicking on nodes in the pdf). Is of course much more costly.

val pdf_viewer : string Stdlib.ref

used by display_call_graph to display the CG

val display_call_graph : unit -> unit

display the CG generated by the last call to gen_call_graph(_full) using pdf_viewer


Innovation. Community. Security.