sig
  type t
  val create : Db_types.kernel_function -> Build.??.t
  val get_kf : Build.??.-> Db_types.kernel_function
  val pretty : Format.formatter -> Build.??.-> unit
  type t_state
  type t_arg_nodes
  val get_states : Build.??.-> Build.??.t_state Build.IH.t
  val print_state : Format.formatter -> Build.??.t_state -> unit
  type t_loc = Locations.Zone.t
  val process_declarations :
    Build.??.->
    formals:Cil_types.varinfo list ->
    locals:Cil_types.varinfo list -> Build.??.t_state
  val process_asgn :
    Build.??.->
    Build.??.t_state ->
    Cil_types.stmt ->
    l_loc:Build.??.t_loc ->
    exact:bool ->
    l_dpds:Build.??.t_loc ->
    l_decl:Cil_datatype.Varinfo.Set.t ->
    r_dpds:Build.??.t_loc ->
    r_decl:Cil_datatype.Varinfo.Set.t -> Build.??.t_state
  val process_skip : Build.??.-> Cil_types.stmt -> unit
  val process_jump :
    Build.??.-> Cil_types.stmt -> Cil_types.stmt list -> unit
  val process_block : Build.??.-> Cil_types.stmt -> Cil_types.block -> unit
  val process_entry_point : Build.??.-> Cil_types.stmt list -> unit
  val process_jump_with_exp :
    Build.??.->
    Cil_types.stmt ->
    Cil_types.stmt list ->
    Build.??.t_state -> Build.??.t_loc -> Cil_datatype.Varinfo.Set.t -> unit
  val test_and_merge_states :
    old:Build.??.t_state -> Build.??.t_state -> bool * Build.??.t_state
  val process_call_node : Build.??.-> Cil_types.stmt -> unit
  val process_call_args :
    Build.??.->
    Build.??.t_state ->
    Cil_types.stmt ->
    (Build.??.t_loc * Cil_datatype.Varinfo.Set.t) list ->
    int * Build.??.t_arg_nodes
  val process_call_params :
    Build.??.->
    Build.??.t_state ->
    Cil_types.stmt ->
    Db_types.kernel_function -> Build.??.t_arg_nodes -> Build.??.t_state
  val process_call_ouput :
    Build.??.->
    Build.??.t_state ->
    Build.??.t_state ->
    Cil_types.stmt ->
    int ->
    Build.??.t_loc ->
    bool -> Build.??.t_loc -> Build.??.t_loc -> Build.??.t_state
  val process_call_return :
    Build.??.->
    Build.??.t_state ->
    Build.??.t_state ->
    Cil_types.stmt ->
    l_loc:Build.??.t_loc ->
    exact:bool ->
    l_dpds:Build.??.t_loc ->
    l_decl:Cil_datatype.Varinfo.Set.t ->
    r_dpds:Build.??.t_loc -> Build.??.t_loc -> Build.??.t_state
  val add_retres :
    Build.??.->
    Build.??.t_state ->
    Cil_types.stmt ->
    Build.??.t_loc -> Cil_datatype.Varinfo.Set.t -> Build.??.t_state
  val store_last_state : Build.??.-> Build.??.t_state -> unit
  val finalize_pdg : Build.??.-> Function_Froms.t option -> PdgTypes.Pdg.t
end