Index of class methods


C
current_kf [Visitor.frama_c_visitor]
link to the kernel function currently being visited.

F
frama_c_plain_copy [Visitor.frama_c_visitor]
same as plain_copy_visitor but for frama-c specific methods

O
on_current_stmt [Register.propagate]

R
reset_current_kf [Visitor.frama_c_visitor]
Internal use only.

S
set_current_kf [Visitor.frama_c_visitor]
Internal use only.

V
vexpr [Register.propagate]
vfunc [Register.propagate]
vglob_aux [Register.propagate]
vglob_aux [Visitor.frama_c_visitor]
Replacement of vglob.
vlval [Register.propagate]
vstmt_aux [Visitor.frama_c_visitor]
Replacement of vstmt.
vvdec [Register.propagate]