Module `Interpreter.TransferFunctions`

module CFG : sig ... end

module Domain : sig ... end

type analysis_data = Make(TransferFunctions)(DefaultConfig).analysis_data

val exec_instr : Domain.t -> analysis_data -> CFG.Node.t -> ProcCfg.InstrNode.instr_index -> IR.Sil.instr -> Domain.t
val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit