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]