Frama-C:
Plug-ins:
Libraries:

Frama-C API - engine

method virtual pp_atom : Stdlib.Format.formatter -> Wp__.Lang.F.term -> unit
method virtual pp_flow : Stdlib.Format.formatter -> Wp__.Lang.F.term -> unit
method is_atomic_lv : Wp__.Memory.s_lval -> bool
method pp_ofs : Stdlib.Format.formatter -> Wp__.Memory.s_offset -> unit
method pp_offset : Stdlib.Format.formatter -> Wp__.Memory.s_offset list -> unit
method pp_host : Stdlib.Format.formatter -> Wp__.Memory.s_host -> unit

current state

method pp_lval : Stdlib.Format.formatter -> Wp__.Memory.s_lval -> unit

current state

method pp_init : Stdlib.Format.formatter -> Wp__.Memory.s_lval -> unit

current state

method pp_addr : Stdlib.Format.formatter -> Wp__.Memory.s_lval -> unit
method pp_label : Stdlib.Format.formatter -> label -> unit

label name

method pp_chunk : Stdlib.Format.formatter -> Wp__.Sigma.chunk -> unit

chunk name