TaintTests.TestInterpreter
module AI_RPO : sig ... end
module AI_WTO : sig ... end
val ai_list :
(string
* (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))
list
val create_tests :
initial:
Absint.AbstractInterpreter.MakeWTO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.Domain.t ->
?pp_opt:
(UnitTests__AnalyzerTester.F.formatter ->
Absint.AbstractInterpreter.MakeWTO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.Domain.t ->
unit) ->
(Backend__Summary.t ->
Absint.AbstractInterpreter.MakeWTO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.analysis_data) ->
(string
* UnitTests__AnalyzerTester.StructuredSil.structured_instr Base__List.t)
list ->
OUnit2.test list