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
]