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