Index of classes
A
add_default_behavior
[
Rewrite
]
annotateCodeStrlen
[
Rewrite
]
annotateOverflow
[
Rewrite
]
C
checkTypes
[
Common
]
check_file
[
Common
]
collectCursorIntegers
[
Rewrite
]
collectCursorPointers
[
Rewrite
]
collectIntField
[
Retype
]
createStructHierarchy
[
Retype
]
D
debugVoid
[
Rewrite
]
E
expandStructAssign
[
Norm
]
exploitStructHierarchy
[
Retype
]
F
fillOffsetSizeInFields
[
Rewrite
]
P
proxy_frama_c_visitor
[
Common
]
R
removeArrayAddress
[
Norm
]
removeUselessCasts
[
Norm
]
renameEntities
[
Rewrite
]
replaceAddrofArray
[
Rewrite
]
replaceStringConstants
[
Rewrite
]
retypeAddressTaken
[
Norm
]
retypeArrayVariables
[
Norm
]
retypeBasePointer
[
Norm
]
retypeFields
[
Norm
]
retypeIntField
[
Retype
]
retypeLogicFunctions
[
Norm
]
retypeStructVariables
[
Norm
]
retypeTypeTags
[
Norm
]
rewriteCursorIntegers
[
Rewrite
]
rewriteCursorPointers
[
Rewrite
]
rewritePointerCompare
[
Rewrite
]
rewriteVoidPointer
[
Rewrite
]
T
trace_frama_c_visitor
[
Common
]
translateUnions
[
Norm
]