E_ACSL.Prepare_ast
Prepare AST for E-ACSL generation.
More precisely, this module performs the following tasks:
val sound_verdict : unit -> Frama_c_kernel.Cil_types.varinfo
val is_libc_writing_memory_ref :
(Frama_c_kernel.Cil_types.varinfo -> bool) Stdlib.ref