PulseRefCounting (infer.Pulselib.PulseRefCounting)

val count_references : 
  IR.Tenv.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  int Pulselib.PulseBasicInterface.AbstractValue.Map.t

val removable_vars : 
  IR.Tenv.t ->
  Pulselib.PulseDomainInterface.AbductiveDomain.t ->
  IR.Var.t list ->
  IR.Var.t list

val is_strong_access : IR.Tenv.t -> 'a Absint.MemoryAccess.t -> bool