Goblint_lib.RecursionTermLifter
Cycle detection in the context-sensitive dynamic function call graph of an analysis.
module Lifter : Analyses.Spec2Spec