package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `E_ACSL.Literal_observer`

Observation of literal strings in C expressions.

val subst_all_literals_in_exp : 
  Env.t ->
  Frama_c_kernel.Cil_types.kernel_function ->
  Frama_c_kernel.Cil_types.exp ->
  Frama_c_kernel.Cil_types.exp * Env.t

Replace any sub-expression of the given exp that is a literal string by an observed variable.

package frama-c

Module E_ACSL.Literal_observer

Module `E_ACSL.Literal_observer`