Backend.CallbackOfCheckerConversions from checkers taking "functional" Absint.InterproceduralAnalysis.t et al. payloads to Callbacks.proc_callback_t and friends.
val interprocedural :
IBase.AnalysisRequest.t ->
f_analyze_dep:('payloads_orig -> 'payloads option) ->
get_payload:(Payloads.t -> 'payloads_orig) ->
set_payload:(Payloads.t -> 'payload IStdlib.IStd.Lazy.t option -> Payloads.t) ->
('payloads Absint.InterproceduralAnalysis.t -> 'payload option) ->
Callbacks.proc_callback_tthe general form of interprocedural checkers: can read and update several payloads, and massage analysis results (mostly used to join option types)
val interprocedural_with_field :
(Payloads.t, 'payload IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
('payload Absint.InterproceduralAnalysis.t -> 'payload option) ->
Callbacks.proc_callback_tinterprocedural_with_field field checker expects checker to compute a payload (option) suitable for field, given an inter-procedural analysis of callees that computes the same payload type
val interprocedural_with_field_and_specialization :
(Payloads.t, 'payload IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
(?specialization:('payload * IR.Specialization.t) ->
'payload Absint.InterproceduralAnalysis.t ->
'payload option) ->
Callbacks.proc_callback_with_specialization_tsame as interprocedural_with_field but allowing specialization
val make_is_already_specialized_test :
(Payloads.t, 'payload IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
(IR.Specialization.t -> 'payload -> bool) ->
IR.Specialization.t ->
Summary.t ->
boolval interprocedural_with_field_dependency :
dep_field:
(Payloads.t, 'payload_dep IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
(Payloads.t, 'payload IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
(('payload option * 'payload_dep option) Absint.InterproceduralAnalysis.t ->
'payload_dep option ->
'payload option) ->
Callbacks.proc_callback_args ->
Summary.tAn inter-procedural analysis that depends on the summary payload found by another one for a procedure to analyse the same procedure. The checker will be passed that payload dependency as an argument for the procedure being analysed. The InterproceduralAnalysis argument allows retrieving both the dependency payload and the "current" one on other procedures.
val interprocedural_file :
(Payloads.t, 'payload IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
('payload Absint.InterproceduralAnalysis.file_t -> Absint.IssueLog.t) ->
Callbacks.file_callback_tinterprocedural_file field checker expects checker to compute an Absint.IssueLog.t from the file-level analysis, given an inter-procedural analysis of dependencies that computes the payload type corresponding to field
val intraprocedural :
(Absint.IntraproceduralAnalysis.t -> unit) ->
Callbacks.proc_callback_truns a simple intra-procedural analysis (one that doesn't need the results of the analysis on any transitive dependencies to analyze a given procedure)
val intraprocedural_with_field_dependency :
(Payloads.t, 'payload IStdlib.IStd.Lazy.t option) IStdlib.IStd.Field.t ->
(Absint.IntraproceduralAnalysis.t -> 'payload option -> unit) ->
Callbacks.proc_callback_tan intra-procedural analysis that depends on the summary payload found by another