PulseTransitiveAccessChecker (infer.Pulselib.PulseTransitiveAccessChecker)

val should_skip_call : IR.Tenv.t -> IR.Procname.t -> bool

val record_load : 
  IR.Exp.t ->
  IBase.Location.t ->
  PulseExecutionDomain.t list ->
  PulseExecutionDomain.t list

val record_call : 
  IR.Tenv.t ->
  IR.Procname.t option ->
  IBase.Location.t ->
  PulseAbductiveDomain.t ->
  PulseAbductiveDomain.t

val report_errors : 
  _ Absint.InterproceduralAnalysis.t ->
  PulseSummary.summary ->
  unit