Index of classes
A
addrOfOrGlobalFinderClass
[
Availexpslv
]
aeVisitorClass
[
Availexpslv
]
attribute_checker
[
Ciltools
]
C
callBBVisitor
[
Ciltools
]
callTempElimClass
[
Rmciltmps
]
check_file
[
File
]
custom_list_class
[
Gtk_helper.MAKE_CUSTOM_LIST
]
D
deadCodeElimClass
[
Deadcodeelim
]
defCollectorClass
[
Rmciltmps
]
defaultCilPrinterClass
[
Cil
]
descriptiveCilPrinterClass
[
Cil
]
Like defaultCilPrinterClass, but instead of temporary variable names it prints the description that was provided when the temp was created.
doFeatureClass
[
Liveness
]
do_it
[
Unroll_loops
]
E
error_manager
[
Gtk_helper
]
A utility class to catch exceptions and report proper error messages.
expLvTmpElimClass
[
Rmciltmps
]
expTempElimClass
[
Rmciltmps
]
F
form
[
Gtk_form
]
frama_c_copy
[
Visitor
]
Copying visitor
frama_c_inplace
[
Visitor
]
in-place visit.
G
genericCilVisitor
[
Cil
]
generic visitor, parameterized by its copying behavior.
generic_frama_c_visitor
[
Visitor
]
Generic visitor.
H
hasVolatile
[
Deadcodeelim
]
I
incdecTempElimClass
[
Rmciltmps
]
L
lvalFinderClass
[
Availexpslv
]
M
main_window
[
Design
]
memReadOrAddrOfFinderClass
[
Rmciltmps
]
memReadOrAddrOfFinderClass
[
Availexpslv
]
menu_manager
[
Menu_manager
]
N
nopCabsVisitor
[
Cabsvisit
]
nopCilVisitor
[
Cil
]
Default in place visitor doing nothing and operating on current project.
nullAdderClass
[
Liveness
]
P
print
[
Printer
]
protected_menu_factory
[
Design
]
R
rdVisitorClass
[
Reachingdefs
]
removeBrackets
[
Rmciltmps
]
S
sidVisitor
[
Ciltools
]
stmtFinderClass
[
Rmciltmps
]
U
unusedRemoverClass
[
Rmciltmps
]
useDefVisitorClass
[
Usedef
]
useListerClass
[
Rmciltmps
]
usedDefsCollectorClass
[
Deadcodeelim
]
uselessInstrElim
[
Deadcodeelim
]
V
viFinderClass
[
Availexpslv
]
vidVisitor
[
Ciltools
]
volatileFinderClass
[
Expcompare
]
volatileFinderClass
[
Availexpslv
]
W
widen_visitor
[
Widen
]