Module `Pulselib.PulseObjectiveCSummary`

val update_objc_method_posts : PulseSummary.t Absint.InterproceduralAnalysis.t -> initial_astate:PulseDomainInterface.ExecutionDomain.t -> posts:PulseDomainInterface.ExecutionDomain.t list -> PulseDomainInterface.ExecutionDomain.t list: For ObjC instance methods: adds path condition `self > 0` to given posts and appends additional nil summary. Does nothing to posts for other kinds of methods

val append_objc_actual_self_positive : IR.Procdesc.t -> ((PulseBasicInterface.AbstractValue.t * PulseBasicInterface.ValueHistory.t) * IR.Typ.t) option -> PulseDomainInterface.AbductiveDomain.t -> PulseDomainInterface.AbductiveDomain.t PulseDomainInterface.AccessResult.t
val mk_objc_method_nil_summary : IR.Tenv.t -> IR.Procdesc.t -> PulseDomainInterface.ExecutionDomain.t -> PulseDomainInterface.AbductiveDomain.t PulseDomainInterface.AccessResult.t option