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