Content of RPM frama-c-1.7-9.fc18.x86_64.rpm :
/usr/bin/frama-c
/usr/bin/frama-c-gui
/usr/lib64/frama-c
/usr/lib64/frama-c/abstract_interp.cmi
/usr/lib64/frama-c/abstract_value.cmi
/usr/lib64/frama-c/alarms.cmi
/usr/lib64/frama-c/alpha.cmi
/usr/lib64/frama-c/analyses_manager.cmi
/usr/lib64/frama-c/annotations.cmi
/usr/lib64/frama-c/ast.cmi
/usr/lib64/frama-c/ast_info.cmi
/usr/lib64/frama-c/ast_printer.cmi
/usr/lib64/frama-c/availexpslv.cmi
/usr/lib64/frama-c/bag.cmi
/usr/lib64/frama-c/base.cmi
/usr/lib64/frama-c/base_Set_Lattice.cmi
/usr/lib64/frama-c/binary_cache.cmi
/usr/lib64/frama-c/bit_model_access.cmi
/usr/lib64/frama-c/bit_utils.cmi
/usr/lib64/frama-c/bitvector.cmi
/usr/lib64/frama-c/book_manager.cmi
/usr/lib64/frama-c/boot.cmi
/usr/lib64/frama-c/buckx.cmi
/usr/lib64/frama-c/cabs.cmi
/usr/lib64/frama-c/cabs2cil.cmi
/usr/lib64/frama-c/cabscond.cmi
/usr/lib64/frama-c/cabshelper.cmi
/usr/lib64/frama-c/cabsvisit.cmi
/usr/lib64/frama-c/callgraph.cmi
/usr/lib64/frama-c/cfg.cmi
/usr/lib64/frama-c/cil.cmi
/usr/lib64/frama-c/cilE.cmi
/usr/lib64/frama-c/cil_const.cmi
/usr/lib64/frama-c/cil_datatype.cmi
/usr/lib64/frama-c/cil_state_builder.cmi
/usr/lib64/frama-c/cil_types.cmi
/usr/lib64/frama-c/cilglobopt.cmi
/usr/lib64/frama-c/cilmsg.cmi
/usr/lib64/frama-c/ciltools.cmi
/usr/lib64/frama-c/cilutil.cmi
/usr/lib64/frama-c/clexer.cmi
/usr/lib64/frama-c/clist.cmi
/usr/lib64/frama-c/cmdline.cmi
/usr/lib64/frama-c/command.cmi
/usr/lib64/frama-c/config.cmi
/usr/lib64/frama-c/cparser.cmi
/usr/lib64/frama-c/cprint.cmi
/usr/lib64/frama-c/cvalue.cmi
/usr/lib64/frama-c/dashtbl.cmi
/usr/lib64/frama-c/dataflow.cmi
/usr/lib64/frama-c/datatype.cmi
/usr/lib64/frama-c/db.cmi
/usr/lib64/frama-c/deadcodeelim.cmi
/usr/lib64/frama-c/debug_manager.cmi
/usr/lib64/frama-c/descr.cmi
/usr/lib64/frama-c/description.cmi
/usr/lib64/frama-c/design.cmi
/usr/lib64/frama-c/dominators.cmi
/usr/lib64/frama-c/dynamic.cmi
/usr/lib64/frama-c/dynlink_common_interface.cmi
/usr/lib64/frama-c/emitter.cmi
/usr/lib64/frama-c/errorloc.cmi
/usr/lib64/frama-c/escape.cmi
/usr/lib64/frama-c/expcompare.cmi
/usr/lib64/frama-c/extlib.cmi
/usr/lib64/frama-c/file.cmi
/usr/lib64/frama-c/file_manager.cmi
/usr/lib64/frama-c/filetree.cmi
/usr/lib64/frama-c/filter.cmi
/usr/lib64/frama-c/frontc.cmi
/usr/lib64/frama-c/function_Froms.cmi
/usr/lib64/frama-c/globals.cmi
/usr/lib64/frama-c/growArray.cmi
/usr/lib64/frama-c/gtk_form.cmi
/usr/lib64/frama-c/gtk_helper.cmi
/usr/lib64/frama-c/gui_init.cmi
/usr/lib64/frama-c/gui_parameters.cmi
/usr/lib64/frama-c/help_manager.cmi
/usr/lib64/frama-c/history.cmi
/usr/lib64/frama-c/hook.cmi
/usr/lib64/frama-c/hptmap.cmi
/usr/lib64/frama-c/hptset.cmi
/usr/lib64/frama-c/infer_annotations.cmi
/usr/lib64/frama-c/inout_type.cmi
/usr/lib64/frama-c/int_Base.cmi
/usr/lib64/frama-c/int_Interv.cmi
/usr/lib64/frama-c/int_Interv_Map.cmi
/usr/lib64/frama-c/inthash.cmi
/usr/lib64/frama-c/ival.cmi
/usr/lib64/frama-c/journal.cmi
/usr/lib64/frama-c/kernel.cmi
/usr/lib64/frama-c/kernel_function.cmi
/usr/lib64/frama-c/lattice_Interval_Set.cmi
/usr/lib64/frama-c/lattice_With_Isotropy.cmi
/usr/lib64/frama-c/launcher.cmi
/usr/lib64/frama-c/lexerhack.cmi
/usr/lib64/frama-c/liveness.cmi
/usr/lib64/frama-c/lmap.cmi
/usr/lib64/frama-c/lmap_bitwise.cmi
/usr/lib64/frama-c/locations.cmi
/usr/lib64/frama-c/log.cmi
/usr/lib64/frama-c/logic_builtin.cmi
/usr/lib64/frama-c/logic_const.cmi
/usr/lib64/frama-c/logic_env.cmi
/usr/lib64/frama-c/logic_interp.cmi
/usr/lib64/frama-c/logic_lexer.cmi
/usr/lib64/frama-c/logic_parser.cmi
/usr/lib64/frama-c/logic_preprocess.cmi
/usr/lib64/frama-c/logic_print.cmi
/usr/lib64/frama-c/logic_ptree.cmi
/usr/lib64/frama-c/logic_typing.cmi
/usr/lib64/frama-c/logic_utils.cmi
/usr/lib64/frama-c/loop.cmi
/usr/lib64/frama-c/machdep.cmi
/usr/lib64/frama-c/machdep_ppc_32.cmi
/usr/lib64/frama-c/machdep_x86_16.cmi
/usr/lib64/frama-c/machdep_x86_32.cmi
/usr/lib64/frama-c/machdep_x86_64.cmi
/usr/lib64/frama-c/map_Lattice.cmi
/usr/lib64/frama-c/map_common_interface.cmi
/usr/lib64/frama-c/menu_manager.cmi
/usr/lib64/frama-c/mergecil.cmi
/usr/lib64/frama-c/messages.cmi
/usr/lib64/frama-c/my_bigint.cmi
/usr/lib64/frama-c/new_offsetmap.cmi
/usr/lib64/frama-c/obfuscate.cmi
/usr/lib64/frama-c/offsetmap.cmi
/usr/lib64/frama-c/offsetmap_bitwise.cmi
/usr/lib64/frama-c/oneret.cmi
/usr/lib64/frama-c/origin.cmi
/usr/lib64/frama-c/parameter.cmi
/usr/lib64/frama-c/path_lattice.cmi
/usr/lib64/frama-c/pdgIndex.cmi
/usr/lib64/frama-c/pdgMarks.cmi
/usr/lib64/frama-c/pdgTypes.cmi
/usr/lib64/frama-c/plugin.cmi
/usr/lib64/frama-c/plugins
/usr/lib64/frama-c/plugins/Aorai.cmi
/usr/lib64/frama-c/plugins/Aorai.cmo
/usr/lib64/frama-c/plugins/Aorai.cmxs
/usr/lib64/frama-c/plugins/Report.cmi
/usr/lib64/frama-c/plugins/Report.cmo
/usr/lib64/frama-c/plugins/Report.cmxs
/usr/lib64/frama-c/plugins/Security_slicing.cmi
/usr/lib64/frama-c/plugins/Security_slicing.cmo
/usr/lib64/frama-c/plugins/Security_slicing.cmxs
/usr/lib64/frama-c/plugins/Wp.cmi
/usr/lib64/frama-c/plugins/Wp.cmo
/usr/lib64/frama-c/plugins/Wp.cmxs
/usr/lib64/frama-c/plugins/gui
/usr/lib64/frama-c/plugins/gui/Security_slicing.cmi
/usr/lib64/frama-c/plugins/gui/Security_slicing.cmo
/usr/lib64/frama-c/plugins/gui/Security_slicing.cmxs
/usr/lib64/frama-c/plugins/gui/Wp.cmi
/usr/lib64/frama-c/plugins/gui/Wp.cmo
/usr/lib64/frama-c/plugins/gui/Wp.cmxs
/usr/lib64/frama-c/pretty_source.cmi
/usr/lib64/frama-c/pretty_utils.cmi
/usr/lib64/frama-c/printer.cmi
/usr/lib64/frama-c/printexc_common_interface.cmi
/usr/lib64/frama-c/project.cmi
/usr/lib64/frama-c/project_manager.cmi
/usr/lib64/frama-c/project_skeleton.cmi
/usr/lib64/frama-c/property.cmi
/usr/lib64/frama-c/property_navigator.cmi
/usr/lib64/frama-c/property_status.cmi
/usr/lib64/frama-c/ptests_config.cmi
/usr/lib64/frama-c/qstack.cmi
/usr/lib64/frama-c/rangemap.cmi
/usr/lib64/frama-c/reachingdefs.cmi
/usr/lib64/frama-c/rmciltmps.cmi
/usr/lib64/frama-c/rmtmps.cmi
/usr/lib64/frama-c/service_graph.cmi
/usr/lib64/frama-c/setWithNearest.cmi
/usr/lib64/frama-c/shifted_Location.cmi
/usr/lib64/frama-c/slicingInternals.cmi
/usr/lib64/frama-c/slicingTypes.cmi
/usr/lib64/frama-c/source_manager.cmi
/usr/lib64/frama-c/source_viewer.cmi
/usr/lib64/frama-c/special_hooks.cmi
/usr/lib64/frama-c/state.cmi
/usr/lib64/frama-c/state_builder.cmi
/usr/lib64/frama-c/state_dependency_graph.cmi
/usr/lib64/frama-c/state_imp.cmi
/usr/lib64/frama-c/state_selection.cmi
/usr/lib64/frama-c/state_set.cmi
/usr/lib64/frama-c/state_topological.cmi
/usr/lib64/frama-c/stmts_graph.cmi
/usr/lib64/frama-c/structural_descr.cmi
/usr/lib64/frama-c/subst.cmi
/usr/lib64/frama-c/task.cmi
/usr/lib64/frama-c/tr_offset.cmi
/usr/lib64/frama-c/translate_lightweight.cmi
/usr/lib64/frama-c/type.cmi
/usr/lib64/frama-c/unicode.cmi
/usr/lib64/frama-c/unmarshal.cmi
/usr/lib64/frama-c/unmarshal_nums.cmi
/usr/lib64/frama-c/unroll_loops.cmi
/usr/lib64/frama-c/usedef.cmi
/usr/lib64/frama-c/utf8_logic.cmi
/usr/lib64/frama-c/visitor.cmi
/usr/lib64/frama-c/warning_manager.cmi
/usr/lib64/frama-c/whitetrack.cmi
/usr/lib64/frama-c/widen.cmi
/usr/lib64/frama-c/widen_type.cmi
/usr/share/applications/frama-c-gui.desktop
/usr/share/doc/frama-c-1.7
/usr/share/doc/frama-c-1.7/GPLv3
/usr/share/doc/frama-c-1.7/LGPLv2
/usr/share/doc/frama-c-1.7/LGPLv2.1
/usr/share/doc/frama-c-1.7/LGPLv3
/usr/share/doc/frama-c-1.7/Q_MODIFIED_LICENSE
/usr/share/doc/frama-c-1.7/VERSION
/usr/share/doc/frama-c-1.7/user-manual.pdf
/usr/share/frama-c
/usr/share/frama-c/check.png
/usr/share/frama-c/failed.png
/usr/share/frama-c/frama-c.gif
/usr/share/frama-c/frama-c.ico
/usr/share/frama-c/left.png
/usr/share/frama-c/maybe.png
/usr/share/frama-c/right.png
/usr/share/frama-c/unmark.png
/usr/share/man/man1/frama-c-gui.1.gz
/usr/share/man/man1/frama-c.1.gz
1103958