Pulselib.PulseReport
val report :
_ Absint.InterproceduralAnalysis.t ->
is_suppressed:bool ->
latent:bool ->
Pulselib.PulseDomainInterface.Diagnostic.t ->
unit
val report_summary_error :
_ Absint.InterproceduralAnalysis.t ->
(Pulselib.PulseDomainInterface.AccessResult.error
* Pulselib.PulseDomainInterface.AbductiveDomain.Summary.t) ->
_ Pulselib.PulseDomainInterface.ExecutionDomain.base_t option
None
means that the execution can continue but we could not compute the continuation state (because this only takes a AccessResult.error
, which doesn't have the ok state)
val report_exec_results :
_ Absint.InterproceduralAnalysis.t ->
IBase.Location.t ->
Pulselib.PulseDomainInterface.ExecutionDomain.t
Pulselib.PulseDomainInterface.AccessResult.t
list ->
Pulselib.PulseDomainInterface.ExecutionDomain.t list