package goblint

  1. Overview
  2. Docs

Module Goblint_lib.SimplifiedAnalysis

type ('g, 'c, 'v) man = {
  1. ask : 'a. 'a Queries.t -> 'a Queries.result;
  2. edge : MyCFG.edge;
  3. orig_node : MyCFG.node;
  4. dest_node : MyCFG.node;
  5. context : 'c;
  6. global : 'v -> 'g;
  7. sideg : 'v -> 'g -> unit;
}

Man(ager) is passed to transfer functions and allows accessing the context, read values from globals, side-effect values to globals, and query information from other analyses

val ask_of_man : ('a, 'b, 'c) man -> Queries.ask

Convert man to Queries.ask.

module type UnknownSet = Printable.S
module type SimplifiedSpec = sig ... end