AnalyzerTester (infer.UnitTests.AnalyzerTester)

module F = Stdlib.Format

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