TransferFunctions (infer.Checkers.SwiftObjCNullabilityChecker.TransferFunctions)

module CFG = Absint.ProcCfg.Normal

module Domain = Domain

type analysis_data = Absint.IntraproceduralAnalysis.t

val pp_session_name : 'a -> F.formatter -> unit

val get_status : 
  call_flags:IR.CallFlags.t ->
  IR.ProcAttributes.t ->
  CallStatus.t

val exec_instr : 
  Domain.t ->
  Absint.IntraproceduralAnalysis.t ->
  'a ->
  'b ->
  IR.Sil.instr ->
  Domain.t