UnitTests.AnalyzerTester
utilities for writing abstract domains/transfer function tests
module StructuredSil : sig ... end
structured language that makes it easy to write small test programs in OCaml
module MakeTester
(I :
Absint.AbstractInterpreter.S
with type TransferFunctions.CFG.Node.t = IR.Procdesc.Node.t) :
sig ... end
module MakeTesters
(RPO :
Absint.AbstractInterpreter.S
with type TransferFunctions.CFG.Node.t = IR.Procdesc.Node.t)
(WTO :
Absint.AbstractInterpreter.S
with module TransferFunctions = RPO.TransferFunctions) :
sig ... end
module Make
(T : Absint.TransferFunctions.SIL with type CFG.Node.t = IR.Procdesc.Node.t) :
sig ... end
module MakeBackwardExceptional
(T :
Absint.AbstractInterpreter.TransferFunctions
with type CFG.Node.t = IR.Procdesc.Node.t) :
sig ... end