Module Goblint_lib.StartStateAnalysis

Remembers the abstract address value of each parameter at the beginning of each function by adding a ghost variable for each parameter. Used by the c2po analysis.

First, all parameters (=formals) of the function are duplicated (by using DuplicateVars), then, we remember the value of each local variable at the beginning of the function a new duplicated variable.