Download User Manual - Frama-C

INDEX
Index
-absolute-valid-range,
-add-path, 20
-annot, 22
-lib-entry, 25
-load, 28
-load-module, 20
-load-script, 20,
25
Batch version, 16
-machdep,
-main, 25
Bytecode, 16
C pre-processor, 15
-constfold, 22
-continue-annot-error,
-cpp-command, 21
-cpp-extra-args, 21
--datarootdir, 18
-debug, 17
-disable-journal,
frama-c, 16
frama-c-gui, 16
frama-c-gui.byte,
frama-c.byte, 16
FRAMAC_LIB, 20
FRAMAC_PLUGIN, 20
FRAMAC_SHARE, 18
GTK+, 15
GtkSourceView,
-help,
22
Native-compiled, 16
22
-obfuscate,
18
OCaml compiler, 15
OcamlGraph,
-ocode, 18
16
Options, 16
-overflow,
34
25
Plug-in
Dynamic, 19
External, 19
16
Internal, 19
Static, 19
-pp-annot,
21
Pragma
UNROLL, 22
-print, 18, 22
-print-lib-path, 20
-print-plugin-path, 20
-print-share-path, 18, 20
15
17
Installation, 15
-quiet,
Interactive version, 16
17
-safe-arrays, 26
-save, 28
-simplify-cfg, 22
-journal-disable, 29
-journal-enable, 29
-journal-name, 29
-time, 18
-type-check,
-keep-comments, 18
-keep-switch, 22
-kernel-debug, 17
-kernel-help, 17
-kernel-verbose, 17
Lablgtk,
29
23
-ulevel, 22
-unsafe-arrays, 26
-unspecified-access,
-verbose,
15
47
17
26