Frama-C API - Syntactic_search
val self : State.t
val find_in_scope : ?strict:bool -> string -> Cil_types.syntactic_scope -> Cil_types.varinfo option
find_in_scope orig_name scope
finds a variable from its orig_name
, according to the syntactic scope
in which it should be searched.