A | |
add_cast [Register.propagate] | |
add_decl_non_source_var [Register.propagate] | |
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
|
P | |
propagated [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 [Register.propagate] | |
vstmt_aux [Visitor.frama_c_visitor] |
Replacement of vstmt.
|
vvdec [Register.propagate] |