Module Goblint_lib.Constraints

Construction of a constraint system from an analysis specification and CFGs. Transformatons of analysis specifications as functors.

type Goblint_backtrace.mark +=
  1. | TfLocation of GoblintCil.location
module type Increment = sig ... end
module FromSpec (S : Analyses.Spec) (Cfg : MyCFG.CfgBackward) (I : Increment) : sig ... end

The main point of this file---generating a DemandGlobConstrSys from a Spec.