Up – Package index » calli » Library calli » Calli » LlvmAnalyzer

Module `Calli.LlvmAnalyzer`

module F = Format

module Make
  (AbsVal : AbstractValue.S)
  (AbsMem : AbstractMemory.S with type valty = AbsVal.t)
  (Ctxt : Context.S with type memty = AbsMem.t)
  (States : States.S with type ctxtty = Ctxt.t and type memty = AbsMem.t)
  (TF : TransferFunction.S with type memty = AbsMem.t) : 
  sig ... end

Functor building an implementation of the Analyzer given abstractvalue, abstract memory, analysis context, abstract states, tf.