Goblint_lib.LongjmpLifter
Analysis lifter for longjmp and setjmp support.
longjmp
setjmp
module Lifter : Analyses.Spec2Spec