| -rwxr-xr-x | 7180360 | root |
root |
/usr/bin/frama-c
|
| -rwxr-xr-x | 9918312 | root |
root |
/usr/bin/frama-c-gui
|
| drwxr-xr-x | 28672 | root |
root |
/usr/lib64/frama-c
|
| -rw-r--r-- | 62145 | root |
root |
/usr/lib64/frama-c/abstract_interp.cmi
|
| -rw-r--r-- | 10887 | root |
root |
/usr/lib64/frama-c/abstract_value.cmi
|
| -rw-r--r-- | 1673 | root |
root |
/usr/lib64/frama-c/alarms.cmi
|
| -rw-r--r-- | 1396 | root |
root |
/usr/lib64/frama-c/alpha.cmi
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib64/frama-c/analyses_manager.cmi
|
| -rw-r--r-- | 5718 | root |
root |
/usr/lib64/frama-c/annotations.cmi
|
| -rw-r--r-- | 1403 | root |
root |
/usr/lib64/frama-c/ast.cmi
|
| -rw-r--r-- | 7777 | root |
root |
/usr/lib64/frama-c/ast_info.cmi
|
| -rw-r--r-- | 5503 | root |
root |
/usr/lib64/frama-c/ast_printer.cmi
|
| -rw-r--r-- | 160652 | root |
root |
/usr/lib64/frama-c/availexpslv.cmi
|
| -rw-r--r-- | 5108 | root |
root |
/usr/lib64/frama-c/base.cmi
|
| -rw-r--r-- | 6300 | root |
root |
/usr/lib64/frama-c/baseUtils.cmi
|
| -rw-r--r-- | 6174 | root |
root |
/usr/lib64/frama-c/base_Set_Lattice.cmi
|
| -rw-r--r-- | 2800 | root |
root |
/usr/lib64/frama-c/binary_cache.cmi
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib64/frama-c/bit_model_access.cmi
|
| -rw-r--r-- | 2478 | root |
root |
/usr/lib64/frama-c/bit_utils.cmi
|
| -rw-r--r-- | 2677 | root |
root |
/usr/lib64/frama-c/boot.cmi
|
| -rw-r--r-- | 3425 | root |
root |
/usr/lib64/frama-c/buckx.cmi
|
| -rw-r--r-- | 7477 | root |
root |
/usr/lib64/frama-c/cabs.cmi
|
| -rw-r--r-- | 3102 | root |
root |
/usr/lib64/frama-c/cabs2cil.cmi
|
| -rw-r--r-- | 1577 | root |
root |
/usr/lib64/frama-c/cabscond.cmi
|
| -rw-r--r-- | 2160 | root |
root |
/usr/lib64/frama-c/cabshelper.cmi
|
| -rw-r--r-- | 11685 | root |
root |
/usr/lib64/frama-c/cabsvisit.cmi
|
| -rw-r--r-- | 1774 | root |
root |
/usr/lib64/frama-c/callgraph.cmi
|
| -rw-r--r-- | 1564 | root |
root |
/usr/lib64/frama-c/cfg.cmi
|
| -rw-r--r-- | 201824 | root |
root |
/usr/lib64/frama-c/cil.cmi
|
| -rw-r--r-- | 3055 | root |
root |
/usr/lib64/frama-c/cilE.cmi
|
| -rw-r--r-- | 11507 | root |
root |
/usr/lib64/frama-c/cil_computation.cmi
|
| -rw-r--r-- | 2967 | root |
root |
/usr/lib64/frama-c/cil_const.cmi
|
| -rw-r--r-- | 31627 | root |
root |
/usr/lib64/frama-c/cil_datatype.cmi
|
| -rw-r--r-- | 18219 | root |
root |
/usr/lib64/frama-c/cil_types.cmi
|
| -rw-r--r-- | 905 | root |
root |
/usr/lib64/frama-c/cilglobopt.cmi
|
| -rw-r--r-- | 2992 | root |
root |
/usr/lib64/frama-c/cilmsg.cmi
|
| -rw-r--r-- | 74085 | root |
root |
/usr/lib64/frama-c/ciltools.cmi
|
| -rw-r--r-- | 63536 | root |
root |
/usr/lib64/frama-c/cilutil.cmi
|
| -rw-r--r-- | 1218 | root |
root |
/usr/lib64/frama-c/clexer.cmi
|
| -rw-r--r-- | 1484 | root |
root |
/usr/lib64/frama-c/clist.cmi
|
| -rw-r--r-- | 4119 | root |
root |
/usr/lib64/frama-c/cmdline.cmi
|
| -rw-r--r-- | 1383 | root |
root |
/usr/lib64/frama-c/command.cmi
|
| -rw-r--r-- | 43931 | root |
root |
/usr/lib64/frama-c/computation.cmi
|
| -rw-r--r-- | 603 | root |
root |
/usr/lib64/frama-c/config.cmi
|
| -rw-r--r-- | 5483 | root |
root |
/usr/lib64/frama-c/cparser.cmi
|
| -rw-r--r-- | 5656 | root |
root |
/usr/lib64/frama-c/cprint.cmi
|
| -rw-r--r-- | 61298 | root |
root |
/usr/lib64/frama-c/cvalue_type.cmi
|
| -rw-r--r-- | 5819 | root |
root |
/usr/lib64/frama-c/dataflow.cmi
|
| -rw-r--r-- | 25529 | root |
root |
/usr/lib64/frama-c/datatype.cmi
|
| -rw-r--r-- | 62055 | root |
root |
/usr/lib64/frama-c/db.cmi
|
| -rw-r--r-- | 2401 | root |
root |
/usr/lib64/frama-c/db_types.cmi
|
| -rw-r--r-- | 248015 | root |
root |
/usr/lib64/frama-c/deadcodeelim.cmi
|
| -rw-r--r-- | 153 | root |
root |
/usr/lib64/frama-c/debug_manager.cmi
|
| -rw-r--r-- | 2779 | root |
root |
/usr/lib64/frama-c/descr.cmi
|
| -rw-r--r-- | 28326 | root |
root |
/usr/lib64/frama-c/design.cmi
|
| -rw-r--r-- | 99765 | root |
root |
/usr/lib64/frama-c/dgraph.cmi
|
| -rw-r--r-- | 1149 | root |
root |
/usr/lib64/frama-c/dominators.cmi
|
| -rw-r--r-- | 1071 | root |
root |
/usr/lib64/frama-c/dynamic.cmi
|
| -rw-r--r-- | 1451 | root |
root |
/usr/lib64/frama-c/dynlink_common_interface.cmi
|
| -rw-r--r-- | 1803 | root |
root |
/usr/lib64/frama-c/errorloc.cmi
|
| -rw-r--r-- | 502 | root |
root |
/usr/lib64/frama-c/escape.cmi
|
| -rw-r--r-- | 22214 | root |
root |
/usr/lib64/frama-c/expcompare.cmi
|
| -rw-r--r-- | 3797 | root |
root |
/usr/lib64/frama-c/extlib.cmi
|
| -rw-r--r-- | 25099 | root |
root |
/usr/lib64/frama-c/file.cmi
|
| -rw-r--r-- | 151 | root |
root |
/usr/lib64/frama-c/file_manager.cmi
|
| -rw-r--r-- | 4754 | root |
root |
/usr/lib64/frama-c/filetree.cmi
|
| -rw-r--r-- | 3643 | root |
root |
/usr/lib64/frama-c/filter.cmi
|
| -rw-r--r-- | 612 | root |
root |
/usr/lib64/frama-c/frontc.cmi
|
| -rw-r--r-- | 3090 | root |
root |
/usr/lib64/frama-c/function_Froms.cmi
|
| -rw-r--r-- | 6693 | root |
root |
/usr/lib64/frama-c/globals.cmi
|
| -rw-r--r-- | 462898 | root |
root |
/usr/lib64/frama-c/graph.cmi
|
| -rw-r--r-- | 2577 | root |
root |
/usr/lib64/frama-c/growArray.cmi
|
| -rw-r--r-- | 36839 | root |
root |
/usr/lib64/frama-c/gtk_helper.cmi
|
| -rw-r--r-- | 143 | root |
root |
/usr/lib64/frama-c/gui_init.cmi
|
| -rw-r--r-- | 3157 | root |
root |
/usr/lib64/frama-c/gui_parameters.cmi
|
| -rw-r--r-- | 151 | root |
root |
/usr/lib64/frama-c/help_manager.cmi
|
| -rw-r--r-- | 2047 | root |
root |
/usr/lib64/frama-c/hook.cmi
|
| -rw-r--r-- | 161 | root |
root |
/usr/lib64/frama-c/infer_annotations.cmi
|
| -rw-r--r-- | 2673 | root |
root |
/usr/lib64/frama-c/inout_type.cmi
|
| -rw-r--r-- | 3678 | root |
root |
/usr/lib64/frama-c/int_Base.cmi
|
| -rw-r--r-- | 2318 | root |
root |
/usr/lib64/frama-c/int_Interv.cmi
|
| -rw-r--r-- | 7167 | root |
root |
/usr/lib64/frama-c/int_Interv_Map.cmi
|
| -rw-r--r-- | 1745 | root |
root |
/usr/lib64/frama-c/inthash.cmi
|
| -rw-r--r-- | 26505 | root |
root |
/usr/lib64/frama-c/ival.cmi
|
| -rw-r--r-- | 1003 | root |
root |
/usr/lib64/frama-c/journal.cmi
|
| -rw-r--r-- | 6476 | root |
root |
/usr/lib64/frama-c/kernel.cmi
|
| -rw-r--r-- | 4528 | root |
root |
/usr/lib64/frama-c/kernel_datatype.cmi
|
| -rw-r--r-- | 11789 | root |
root |
/usr/lib64/frama-c/kernel_function.cmi
|
| -rw-r--r-- | 2548 | root |
root |
/usr/lib64/frama-c/kernel_type.cmi
|
| -rw-r--r-- | 5439 | root |
root |
/usr/lib64/frama-c/kind.cmi
|
| -rw-r--r-- | 6312 | root |
root |
/usr/lib64/frama-c/lattice_With_Isotropy.cmi
|
| -rw-r--r-- | 3937 | root |
root |
/usr/lib64/frama-c/launcher.cmi
|
| -rw-r--r-- | 655 | root |
root |
/usr/lib64/frama-c/lexerhack.cmi
|
| -rw-r--r-- | 77268 | root |
root |
/usr/lib64/frama-c/liveness.cmi
|
| -rw-r--r-- | 22427 | root |
root |
/usr/lib64/frama-c/lmap.cmi
|
| -rw-r--r-- | 21221 | root |
root |
/usr/lib64/frama-c/lmap_bitwise.cmi
|
| -rw-r--r-- | 15513 | root |
root |
/usr/lib64/frama-c/lmap_whole.cmi
|
| -rw-r--r-- | 37107 | root |
root |
/usr/lib64/frama-c/locations.cmi
|
| -rw-r--r-- | 5975 | root |
root |
/usr/lib64/frama-c/log.cmi
|
| -rw-r--r-- | 377 | root |
root |
/usr/lib64/frama-c/logic_builtin.cmi
|
| -rw-r--r-- | 7954 | root |
root |
/usr/lib64/frama-c/logic_const.cmi
|
| -rw-r--r-- | 9259 | root |
root |
/usr/lib64/frama-c/logic_env.cmi
|
| -rw-r--r-- | 1669 | root |
root |
/usr/lib64/frama-c/logic_interp.cmi
|
| -rw-r--r-- | 4445 | root |
root |
/usr/lib64/frama-c/logic_lexer.cmi
|
| -rw-r--r-- | 2172 | root |
root |
/usr/lib64/frama-c/logic_parser.cmi
|
| -rw-r--r-- | 297 | root |
root |
/usr/lib64/frama-c/logic_preprocess.cmi
|
| -rw-r--r-- | 5739 | root |
root |
/usr/lib64/frama-c/logic_ptree.cmi
|
| -rw-r--r-- | 3028 | root |
root |
/usr/lib64/frama-c/logic_typing.cmi
|
| -rw-r--r-- | 11231 | root |
root |
/usr/lib64/frama-c/logic_utils.cmi
|
| -rw-r--r-- | 2127 | root |
root |
/usr/lib64/frama-c/loop.cmi
|
| -rw-r--r-- | 610 | root |
root |
/usr/lib64/frama-c/machdep.cmi
|
| -rw-r--r-- | 418 | root |
root |
/usr/lib64/frama-c/machdep_ppc_32.cmi
|
| -rw-r--r-- | 406 | root |
root |
/usr/lib64/frama-c/machdep_ppc_32_diab.cmi
|
| -rw-r--r-- | 396 | root |
root |
/usr/lib64/frama-c/machdep_x86_16.cmi
|
| -rw-r--r-- | 396 | root |
root |
/usr/lib64/frama-c/machdep_x86_32.cmi
|
| -rw-r--r-- | 396 | root |
root |
/usr/lib64/frama-c/machdep_x86_64.cmi
|
| -rw-r--r-- | 22405 | root |
root |
/usr/lib64/frama-c/map_Lattice.cmi
|
| -rw-r--r-- | 5593 | root |
root |
/usr/lib64/frama-c/menu_manager.cmi
|
| -rw-r--r-- | 433 | root |
root |
/usr/lib64/frama-c/mergecil.cmi
|
| -rw-r--r-- | 3629 | root |
root |
/usr/lib64/frama-c/mergemap.cmi
|
| -rw-r--r-- | 899 | root |
root |
/usr/lib64/frama-c/messages.cmi
|
| -rw-r--r-- | 4929 | root |
root |
/usr/lib64/frama-c/mweak.cmi
|
| -rw-r--r-- | 6415 | root |
root |
/usr/lib64/frama-c/my_bigint.cmi
|
| -rw-r--r-- | 657 | root |
root |
/usr/lib64/frama-c/namespace.cmi
|
| -rw-r--r-- | 7341 | root |
root |
/usr/lib64/frama-c/new_offsetmap.cmi
|
| -rw-r--r-- | 358 | root |
root |
/usr/lib64/frama-c/obfuscate.cmi
|
| -rw-r--r-- | 21993 | root |
root |
/usr/lib64/frama-c/offsetmap.cmi
|
| -rw-r--r-- | 8923 | root |
root |
/usr/lib64/frama-c/offsetmap_bitwise.cmi
|
| -rw-r--r-- | 276 | root |
root |
/usr/lib64/frama-c/oneret.cmi
|
| -rw-r--r-- | 1765 | root |
root |
/usr/lib64/frama-c/origin.cmi
|
| -rw-r--r-- | 11584 | root |
root |
/usr/lib64/frama-c/parameters.cmi
|
| -rw-r--r-- | 411 | root |
root |
/usr/lib64/frama-c/patch.cmi
|
| -rw-r--r-- | 1669 | root |
root |
/usr/lib64/frama-c/path_lattice.cmi
|
| -rw-r--r-- | 8450 | root |
root |
/usr/lib64/frama-c/pdgIndex.cmi
|
| -rw-r--r-- | 6164 | root |
root |
/usr/lib64/frama-c/pdgMarks.cmi
|
| -rw-r--r-- | 25024 | root |
root |
/usr/lib64/frama-c/pdgTypes.cmi
|
| -rw-r--r-- | 28623 | root |
root |
/usr/lib64/frama-c/plugin.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/frama-c/plugins
|
| -rw-r--r-- | 6564 | root |
root |
/usr/lib64/frama-c/pretty_source.cmi
|
| -rw-r--r-- | 2999 | root |
root |
/usr/lib64/frama-c/pretty_utils.cmi
|
| -rw-r--r-- | 23455 | root |
root |
/usr/lib64/frama-c/printer.cmi
|
| -rw-r--r-- | 711 | root |
root |
/usr/lib64/frama-c/printexc_common_interface.cmi
|
| -rw-r--r-- | 17060 | root |
root |
/usr/lib64/frama-c/project.cmi
|
| -rw-r--r-- | 157 | root |
root |
/usr/lib64/frama-c/project_manager.cmi
|
| -rw-r--r-- | 23607 | root |
root |
/usr/lib64/frama-c/properties_status.cmi
|
| -rw-r--r-- | 621 | root |
root |
/usr/lib64/frama-c/ptests_config.cmi
|
| -rw-r--r-- | 7363 | root |
root |
/usr/lib64/frama-c/ptmap.cmi
|
| -rw-r--r-- | 6423 | root |
root |
/usr/lib64/frama-c/ptset.cmi
|
| -rw-r--r-- | 1989 | root |
root |
/usr/lib64/frama-c/qstack.cmi
|
| -rw-r--r-- | 4146 | root |
root |
/usr/lib64/frama-c/rangemap.cmi
|
| -rw-r--r-- | 139120 | root |
root |
/usr/lib64/frama-c/reachingdefs.cmi
|
| -rw-r--r-- | 8564 | root |
root |
/usr/lib64/frama-c/relations_type.cmi
|
| -rw-r--r-- | 533189 | root |
root |
/usr/lib64/frama-c/rmciltmps.cmi
|
| -rw-r--r-- | 738 | root |
root |
/usr/lib64/frama-c/rmtmps.cmi
|
| -rw-r--r-- | 13277 | root |
root |
/usr/lib64/frama-c/service_graph.cmi
|
| -rw-r--r-- | 5190 | root |
root |
/usr/lib64/frama-c/setWithNearest.cmi
|
| -rw-r--r-- | 1988 | root |
root |
/usr/lib64/frama-c/shifted_Location.cmi
|
| -rw-r--r-- | 847 | root |
root |
/usr/lib64/frama-c/signature.cmi
|
| -rw-r--r-- | 7359 | root |
root |
/usr/lib64/frama-c/slicingInternals.cmi
|
| -rw-r--r-- | 3322 | root |
root |
/usr/lib64/frama-c/slicingTypes.cmi
|
| -rw-r--r-- | 3084 | root |
root |
/usr/lib64/frama-c/source_manager.cmi
|
| -rw-r--r-- | 1271 | root |
root |
/usr/lib64/frama-c/source_viewer.cmi
|
| -rw-r--r-- | 153 | root |
root |
/usr/lib64/frama-c/special_hooks.cmi
|
| -rw-r--r-- | 2967 | root |
root |
/usr/lib64/frama-c/state_set.cmi
|
| -rw-r--r-- | 1787 | root |
root |
/usr/lib64/frama-c/stmts_graph.cmi
|
| -rw-r--r-- | 803 | root |
root |
/usr/lib64/frama-c/subst.cmi
|
| -rw-r--r-- | 308 | root |
root |
/usr/lib64/frama-c/translate_lightweight.cmi
|
| -rw-r--r-- | 12086 | root |
root |
/usr/lib64/frama-c/type.cmi
|
| -rw-r--r-- | 216 | root |
root |
/usr/lib64/frama-c/unicode.cmi
|
| -rw-r--r-- | 10952 | root |
root |
/usr/lib64/frama-c/unmarshal.cmi
|
| -rw-r--r-- | 464 | root |
root |
/usr/lib64/frama-c/unmarshal_nums.cmi
|
| -rw-r--r-- | 24616 | root |
root |
/usr/lib64/frama-c/unroll_loops.cmi
|
| -rw-r--r-- | 25122 | root |
root |
/usr/lib64/frama-c/usedef.cmi
|
| -rw-r--r-- | 621 | root |
root |
/usr/lib64/frama-c/utf8_logic.cmi
|
| -rw-r--r-- | 4431 | root |
root |
/usr/lib64/frama-c/viewgraph.cmi
|
| -rw-r--r-- | 89334 | root |
root |
/usr/lib64/frama-c/visitor.cmi
|
| -rw-r--r-- | 1198 | root |
root |
/usr/lib64/frama-c/warning_manager.cmi
|
| -rw-r--r-- | 1060 | root |
root |
/usr/lib64/frama-c/whitetrack.cmi
|
| -rw-r--r-- | 21242 | root |
root |
/usr/lib64/frama-c/widen.cmi
|
| -rw-r--r-- | 3254 | root |
root |
/usr/lib64/frama-c/widen_type.cmi
|
| -rw-r--r-- | 375 | root |
root |
/usr/lib64/frama-c/zrapp.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/frama-c/plugins/gui
|
| -rw-r--r-- | 177 | root |
root |
/usr/share/applications/frama-c-gui.desktop
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/frama-c-1.5
|
| -rw-r--r-- | 24382 | root |
root |
/usr/share/doc/frama-c-1.5/LGPLv2.1
|
| -rw-r--r-- | 7639 | root |
root |
/usr/share/doc/frama-c-1.5/LGPLv3
|
| -rw-r--r-- | 1673 | root |
root |
/usr/share/doc/frama-c-1.5/LICENSE
|
| -rw-r--r-- | 31742 | root |
root |
/usr/share/doc/frama-c-1.5/Q_MODIFIED_LICENSE
|
| -rw-r--r-- | 4540 | root |
root |
/usr/share/man/man1/frama-c-gui.1.gz
|
| -rw-r--r-- | 4540 | root |
root |
/usr/share/man/man1/frama-c.1.gz
|
