Frama-C:
Plug-ins:
Libraries:

Frama-C API - Global_context

val get_variable : string -> (unit -> Frama_c_kernel.Cil_types.varinfo) -> Frama_c_kernel.Cil_types.varinfo

get_variable name f searches for an existing variable name. If this variable does not exists, it is created using f.

The obtained varinfo does not need to be registered, nor f needs to perform the registration, it will be done by the transformation.