PulseTransitiveAccessChecker (infer.Pulselib.PulseTransitiveAccessChecker)

val should_skip_call : 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 : 
  IR.Tenv.t ->
  IR.Procdesc.t ->
  Absint.Errlog.t ->
  PulseSummary.summary ->
  unit