graph_utils.mli 153 Bytes Edit 1 2 3 (** This module implements functionality that works on graphs like the CFG. Most of its functionality is implemented by using BAP's Graphlib.Std. *)