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] |