Index of class methods


N
new_wrapper_for_type [Norm.retypeBasePointer]

P
postaction_lval [Norm.retypeBasePointer]

V
vannotation [Norm.retypeLogicFunctions]
vannotation [Common.trace_frama_c_visitor]
vannotation [Common.proxy_frama_c_visitor]
vassigns [Common.trace_frama_c_visitor]
vassigns [Common.proxy_frama_c_visitor]
vattr [Common.trace_frama_c_visitor]
vattr [Common.proxy_frama_c_visitor]
vattrparam [Common.trace_frama_c_visitor]
vattrparam [Common.proxy_frama_c_visitor]
vbehavior [Norm.expandStructAssign]
vbehavior [Common.trace_frama_c_visitor]
vbehavior [Common.proxy_frama_c_visitor]
vblock [Common.trace_frama_c_visitor]
vblock [Common.proxy_frama_c_visitor]
vcode_annot [Rewrite.add_default_behavior]
vcode_annot [Common.trace_frama_c_visitor]
vcode_annot [Common.proxy_frama_c_visitor]
vexpr [Rewrite.annotateOverflow]
vexpr [Rewrite.annotateCodeStrlen]
vexpr [Rewrite.rewriteCursorIntegers]
vexpr [Rewrite.rewriteCursorPointers]
vexpr [Rewrite.collectCursorPointers]
vexpr [Rewrite.rewritePointerCompare]
vexpr [Rewrite.replaceStringConstants]
vexpr [Rewrite.replaceAddrofArray]
vexpr [Retype.createStructHierarchy]
vexpr [Retype.collectIntField]
vexpr [Norm.removeArrayAddress]
vexpr [Norm.removeUselessCasts]
vexpr [Norm.retypeFields]
vexpr [Norm.retypeAddressTaken]
vexpr [Norm.retypeStructVariables]
vexpr [Norm.retypeArrayVariables]
vexpr [Common.checkTypes]
vexpr [Common.trace_frama_c_visitor]
vexpr [Common.proxy_frama_c_visitor]
vfile [Rewrite.add_default_behavior]
vfile [Norm.retypeBasePointer]
vfile [Common.trace_frama_c_visitor]
vfile [Common.proxy_frama_c_visitor]
vfunc [Rewrite.rewriteCursorIntegers]
vfunc [Rewrite.collectCursorIntegers]
vfunc [Rewrite.rewriteCursorPointers]
vfunc [Rewrite.collectCursorPointers]
vfunc [Rewrite.renameEntities]
vfunc [Norm.retypeAddressTaken]
vfunc [Norm.retypeStructVariables]
vfunc [Norm.expandStructAssign]
vfunc [Norm.retypeArrayVariables]
vfunc [Common.trace_frama_c_visitor]
vfunc [Common.proxy_frama_c_visitor]
vglob_aux [Rewrite.replaceStringConstants]
vglob_aux [Rewrite.fillOffsetSizeInFields]
vglob_aux [Rewrite.renameEntities]
vglob_aux [Retype.retypeIntField]
vglob_aux [Norm.translateUnions]
vglob_aux [Norm.retypeBasePointer]
vglob_aux [Norm.retypeFields]
vglob_aux [Norm.retypeAddressTaken]
vglob_aux [Norm.retypeStructVariables]
vglob_aux [Norm.expandStructAssign]
vglob_aux [Norm.retypeArrayVariables]
vglob_aux [Common.check_file]
vglob_aux [Common.trace_frama_c_visitor]
vglob_aux [Common.proxy_frama_c_visitor]
vinit [Common.trace_frama_c_visitor]
vinit [Common.proxy_frama_c_visitor]
vinitoffs [Common.check_file]
vinitoffs [Common.trace_frama_c_visitor]
vinitoffs [Common.proxy_frama_c_visitor]
vinst [Rewrite.rewriteCursorIntegers]
vinst [Rewrite.collectCursorIntegers]
vinst [Rewrite.rewriteCursorPointers]
vinst [Rewrite.collectCursorPointers]
vinst [Norm.expandStructAssign]
vinst [Common.trace_frama_c_visitor]
vinst [Common.proxy_frama_c_visitor]
vlogic_info_decl [Common.trace_frama_c_visitor]
vlogic_info_decl [Common.proxy_frama_c_visitor]
vlogic_info_use [Common.trace_frama_c_visitor]
vlogic_info_use [Common.proxy_frama_c_visitor]
vlogic_type [Common.trace_frama_c_visitor]
vlogic_type [Common.proxy_frama_c_visitor]
vlogic_var_decl [Rewrite.renameEntities]
vlogic_var_decl [Norm.retypeAddressTaken]
vlogic_var_decl [Norm.retypeStructVariables]
vlogic_var_decl [Norm.retypeArrayVariables]
vlogic_var_decl [Common.trace_frama_c_visitor]
vlogic_var_decl [Common.proxy_frama_c_visitor]
vlogic_var_use [Rewrite.renameEntities]
vlogic_var_use [Norm.retypeAddressTaken]
vlogic_var_use [Common.trace_frama_c_visitor]
vlogic_var_use [Common.proxy_frama_c_visitor]
vloop_pragma [Common.trace_frama_c_visitor]
vloop_pragma [Common.proxy_frama_c_visitor]
vlval [Norm.retypeBasePointer]
vlval [Norm.retypeFields]
vlval [Norm.retypeAddressTaken]
vlval [Norm.retypeStructVariables]
vlval [Norm.retypeArrayVariables]
vlval [Common.trace_frama_c_visitor]
vlval [Common.proxy_frama_c_visitor]
voffs [Norm.translateUnions]
voffs [Common.check_file]
voffs [Common.trace_frama_c_visitor]
voffs [Common.proxy_frama_c_visitor]
vpredicate [Rewrite.rewritePointerCompare]
vpredicate [Norm.retypeLogicFunctions]
vpredicate [Common.trace_frama_c_visitor]
vpredicate [Common.proxy_frama_c_visitor]
vpredicate_named [Common.trace_frama_c_visitor]
vpredicate_named [Common.proxy_frama_c_visitor]
vquantifiers [Norm.retypeStructVariables]
vquantifiers [Common.trace_frama_c_visitor]
vquantifiers [Common.proxy_frama_c_visitor]
vrooted_code_annotation [Common.trace_frama_c_visitor]
vrooted_code_annotation [Common.proxy_frama_c_visitor]
vslice_pragma [Common.trace_frama_c_visitor]
vslice_pragma [Common.proxy_frama_c_visitor]
vspec [Rewrite.rewriteCursorIntegers]
vspec [Rewrite.rewriteCursorPointers]
vspec [Rewrite.add_default_behavior]
vspec [Norm.retypeAddressTaken]
vspec [Common.trace_frama_c_visitor]
vspec [Common.proxy_frama_c_visitor]
vstmt_aux [Rewrite.annotateCodeStrlen]
vstmt_aux [Norm.expandStructAssign]
vstmt_aux [Common.trace_frama_c_visitor]
vstmt_aux [Common.proxy_frama_c_visitor]
vterm [Rewrite.debugVoid]
vterm [Rewrite.rewriteCursorIntegers]
vterm [Rewrite.rewriteCursorPointers]
vterm [Rewrite.collectCursorPointers]
vterm [Rewrite.rewritePointerCompare]
vterm [Rewrite.replaceAddrofArray]
vterm [Retype.retypeIntField]
vterm [Norm.removeArrayAddress]
vterm [Norm.removeUselessCasts]
vterm [Norm.retypeTypeTags]
vterm [Norm.retypeFields]
vterm [Norm.retypeAddressTaken]
vterm [Norm.retypeStructVariables]
vterm [Norm.expandStructAssign]
vterm [Norm.retypeLogicFunctions]
vterm [Norm.retypeArrayVariables]
vterm [Common.check_file]
vterm [Common.trace_frama_c_visitor]
vterm [Common.proxy_frama_c_visitor]
vterm_lhost [Common.trace_frama_c_visitor]
vterm_lhost [Common.proxy_frama_c_visitor]
vterm_lval [Norm.retypeBasePointer]
vterm_lval [Norm.retypeFields]
vterm_lval [Norm.retypeAddressTaken]
vterm_lval [Norm.retypeStructVariables]
vterm_lval [Norm.expandStructAssign]
vterm_lval [Norm.retypeLogicFunctions]
vterm_lval [Norm.retypeArrayVariables]
vterm_lval [Common.trace_frama_c_visitor]
vterm_lval [Common.proxy_frama_c_visitor]
vterm_node [Common.trace_frama_c_visitor]
vterm_node [Common.proxy_frama_c_visitor]
vterm_offset [Norm.translateUnions]
vterm_offset [Common.check_file]
vterm_offset [Common.trace_frama_c_visitor]
vterm_offset [Common.proxy_frama_c_visitor]
vtype [Rewrite.rewriteVoidPointer]
vtype [Norm.retypeBasePointer]
vtype [Common.trace_frama_c_visitor]
vtype [Common.proxy_frama_c_visitor]
vvdec [Norm.retypeStructVariables]
vvdec [Norm.retypeArrayVariables]
vvdec [Common.trace_frama_c_visitor]
vvdec [Common.proxy_frama_c_visitor]
vvrbl [Common.trace_frama_c_visitor]
vvrbl [Common.proxy_frama_c_visitor]
vzone [Common.trace_frama_c_visitor]
vzone [Common.proxy_frama_c_visitor]

W
wrap_type_if_needed [Norm.retypeBasePointer]