Pulselib.PulseTransitiveAccessCheckerval record_load :
IR.Exp.t ->
IBase.Location.t ->
PulseExecutionDomain.t list ->
PulseExecutionDomain.t listval record_call :
IR.Tenv.t ->
IR.Procname.t option ->
IBase.Location.t ->
PulseAbductiveDomain.t ->
PulseAbductiveDomain.tval report_errors :
IR.Tenv.t ->
IR.Procdesc.t ->
Absint.Errlog.t ->
PulseSummary.summary ->
unit