TestInterpreter.AI_WTO
module T : sig ... end
module M : sig ... end
val gen_pname : unit -> IR.Procname.t
val structured_program_to_cfg :
UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t ->
Backend__Summary.t * (string * int) M.t * IR.Procdesc.t
val create_test :
UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t ->
(Backend__Summary.t ->
Absint.AbstractInterpreter.MakeWTO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.analysis_data) ->
initial:
Absint.AbstractInterpreter.MakeWTO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.Domain.t ->
(UnitTests__AnalyzerTester.F.formatter ->
Absint.AbstractInterpreter.MakeWTO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.Domain.t ->
unit)
option ->
'a ->
unit