Goblint_lib.DuplicateVarsUsed by C2poDomain and StartStateAnalysis. Contains functions to duplicate variables in order to have shadow variables for each function parameter, that can be used to remeber the initial value of these parameters. It uses RichVarinfo to create the duplicated variables.
module M = Messagesmodule VarType : sig ... endVariable Type used by the C-2PO Analysis. It contains normal variables with a varinfo as well as auxiliary variables for assignment and return and duplicated variables for remembering the value of variables at the beginning of a function.
module VarVarinfoMap : sig ... endmodule Var : sig ... end