Frama-C:
Plug-ins:
Libraries:

Frama-C API - Pretty

val pp_varinfo : Stdlib.Format.formatter -> varinfo -> unit
val pp_binop : Stdlib.Format.formatter -> binop -> unit
val pp_lhost : Stdlib.Format.formatter -> lhost -> unit
val pp_lval : Stdlib.Format.formatter -> lval -> unit
val pp_offset : Stdlib.Format.formatter -> offset -> unit
val pp_exp : Stdlib.Format.formatter -> exp -> unit
val pp_exp_node : Stdlib.Format.formatter -> exp_node -> unit