Frama-C:
Plug-ins:
Libraries:

Frama-C API - Demote_string_literal

val demote : Cil_types.varinfo -> unit

demote a generated variable holding a string literal into a standard char (or wide char) array. This can imply a formal AST change if said variable is used to initialize a _local_ array. Do nothing if the variable is not a string literal as per Ast_info.is_string_literal

  • since Frama-C+dev