Module Literal_observer

module Literal_observer: sig .. end
Observation of literal strings in C expressions.

val subst_all_literals_in_exp : Env.t -> Cil_types.kernel_function -> Cil_types.exp -> Cil_types.exp * Env.t
Replace any sub-expression of the given exp that is a literal string by an observed variable.