| -rwxr-xr-x | 6183756 | root |
root |
/usr/bin/frama-c
|
| -rwxr-xr-x | 8405388 | root |
root |
/usr/bin/frama-c-gui
|
| drwxr-xr-x | 28672 | root |
root |
/usr/lib/frama-c
|
| -rw-r--r-- | 85158 | root |
root |
/usr/lib/frama-c/abstract_interp.cmi
|
| -rw-r--r-- | 10748 | root |
root |
/usr/lib/frama-c/abstract_value.cmi
|
| -rw-r--r-- | 3006 | root |
root |
/usr/lib/frama-c/alarms.cmi
|
| -rw-r--r-- | 1403 | root |
root |
/usr/lib/frama-c/alpha.cmi
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib/frama-c/analyses_manager.cmi
|
| -rw-r--r-- | 5752 | root |
root |
/usr/lib/frama-c/annotations.cmi
|
| -rw-r--r-- | 1546 | root |
root |
/usr/lib/frama-c/ast.cmi
|
| -rw-r--r-- | 6939 | root |
root |
/usr/lib/frama-c/ast_info.cmi
|
| -rw-r--r-- | 5704 | root |
root |
/usr/lib/frama-c/ast_printer.cmi
|
| -rw-r--r-- | 163748 | root |
root |
/usr/lib/frama-c/availexpslv.cmi
|
| -rw-r--r-- | 1646 | root |
root |
/usr/lib/frama-c/bag.cmi
|
| -rw-r--r-- | 17146 | root |
root |
/usr/lib/frama-c/base.cmi
|
| -rw-r--r-- | 7184 | root |
root |
/usr/lib/frama-c/base_Set_Lattice.cmi
|
| -rw-r--r-- | 3280 | root |
root |
/usr/lib/frama-c/binary_cache.cmi
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib/frama-c/bit_model_access.cmi
|
| -rw-r--r-- | 2437 | root |
root |
/usr/lib/frama-c/bit_utils.cmi
|
| -rw-r--r-- | 907 | root |
root |
/usr/lib/frama-c/bitvector.cmi
|
| -rw-r--r-- | 2810 | root |
root |
/usr/lib/frama-c/boot.cmi
|
| -rw-r--r-- | 3583 | root |
root |
/usr/lib/frama-c/buckx.cmi
|
| -rw-r--r-- | 7542 | root |
root |
/usr/lib/frama-c/cabs.cmi
|
| -rw-r--r-- | 4555 | root |
root |
/usr/lib/frama-c/cabs2cil.cmi
|
| -rw-r--r-- | 1588 | root |
root |
/usr/lib/frama-c/cabscond.cmi
|
| -rw-r--r-- | 2178 | root |
root |
/usr/lib/frama-c/cabshelper.cmi
|
| -rw-r--r-- | 11859 | root |
root |
/usr/lib/frama-c/cabsvisit.cmi
|
| -rw-r--r-- | 2003 | root |
root |
/usr/lib/frama-c/callgraph.cmi
|
| -rw-r--r-- | 2004 | root |
root |
/usr/lib/frama-c/cfg.cmi
|
| -rw-r--r-- | 206528 | root |
root |
/usr/lib/frama-c/cil.cmi
|
| -rw-r--r-- | 3372 | root |
root |
/usr/lib/frama-c/cilE.cmi
|
| -rw-r--r-- | 3230 | root |
root |
/usr/lib/frama-c/cil_const.cmi
|
| -rw-r--r-- | 279219 | root |
root |
/usr/lib/frama-c/cil_datatype.cmi
|
| -rw-r--r-- | 8529 | root |
root |
/usr/lib/frama-c/cil_state_builder.cmi
|
| -rw-r--r-- | 18707 | root |
root |
/usr/lib/frama-c/cil_types.cmi
|
| -rw-r--r-- | 919 | root |
root |
/usr/lib/frama-c/cilglobopt.cmi
|
| -rw-r--r-- | 3012 | root |
root |
/usr/lib/frama-c/cilmsg.cmi
|
| -rw-r--r-- | 75698 | root |
root |
/usr/lib/frama-c/ciltools.cmi
|
| -rw-r--r-- | 16188 | root |
root |
/usr/lib/frama-c/cilutil.cmi
|
| -rw-r--r-- | 1232 | root |
root |
/usr/lib/frama-c/clexer.cmi
|
| -rw-r--r-- | 1497 | root |
root |
/usr/lib/frama-c/clist.cmi
|
| -rw-r--r-- | 5023 | root |
root |
/usr/lib/frama-c/cmdline.cmi
|
| -rw-r--r-- | 2080 | root |
root |
/usr/lib/frama-c/command.cmi
|
| -rw-r--r-- | 665 | root |
root |
/usr/lib/frama-c/config.cmi
|
| -rw-r--r-- | 5520 | root |
root |
/usr/lib/frama-c/cparser.cmi
|
| -rw-r--r-- | 4437 | root |
root |
/usr/lib/frama-c/cprint.cmi
|
| -rw-r--r-- | 67098 | root |
root |
/usr/lib/frama-c/cvalue_type.cmi
|
| -rw-r--r-- | 42036 | root |
root |
/usr/lib/frama-c/dashtbl.cmi
|
| -rw-r--r-- | 5864 | root |
root |
/usr/lib/frama-c/dataflow.cmi
|
| -rw-r--r-- | 246082 | root |
root |
/usr/lib/frama-c/datatype.cmi
|
| -rw-r--r-- | 67133 | root |
root |
/usr/lib/frama-c/db.cmi
|
| -rw-r--r-- | 2596 | root |
root |
/usr/lib/frama-c/db_types.cmi
|
| -rw-r--r-- | 252354 | root |
root |
/usr/lib/frama-c/deadcodeelim.cmi
|
| -rw-r--r-- | 153 | root |
root |
/usr/lib/frama-c/debug_manager.cmi
|
| -rw-r--r-- | 2754 | root |
root |
/usr/lib/frama-c/descr.cmi
|
| -rw-r--r-- | 30284 | root |
root |
/usr/lib/frama-c/design.cmi
|
| -rw-r--r-- | 1155 | root |
root |
/usr/lib/frama-c/dominators.cmi
|
| -rw-r--r-- | 1299 | root |
root |
/usr/lib/frama-c/dynamic.cmi
|
| -rw-r--r-- | 1466 | root |
root |
/usr/lib/frama-c/dynlink_common_interface.cmi
|
| -rw-r--r-- | 1822 | root |
root |
/usr/lib/frama-c/errorloc.cmi
|
| -rw-r--r-- | 508 | root |
root |
/usr/lib/frama-c/escape.cmi
|
| -rw-r--r-- | 22898 | root |
root |
/usr/lib/frama-c/expcompare.cmi
|
| -rw-r--r-- | 4291 | root |
root |
/usr/lib/frama-c/extlib.cmi
|
| -rw-r--r-- | 27350 | root |
root |
/usr/lib/frama-c/file.cmi
|
| -rw-r--r-- | 151 | root |
root |
/usr/lib/frama-c/file_manager.cmi
|
| -rw-r--r-- | 5382 | root |
root |
/usr/lib/frama-c/filetree.cmi
|
| -rw-r--r-- | 3799 | root |
root |
/usr/lib/frama-c/filter.cmi
|
| -rw-r--r-- | 618 | root |
root |
/usr/lib/frama-c/frontc.cmi
|
| -rw-r--r-- | 3190 | root |
root |
/usr/lib/frama-c/function_Froms.cmi
|
| -rw-r--r-- | 5447 | root |
root |
/usr/lib/frama-c/globals.cmi
|
| -rw-r--r-- | 2599 | root |
root |
/usr/lib/frama-c/growArray.cmi
|
| -rw-r--r-- | 2991 | root |
root |
/usr/lib/frama-c/gtk_form.cmi
|
| -rw-r--r-- | 39959 | root |
root |
/usr/lib/frama-c/gtk_helper.cmi
|
| -rw-r--r-- | 143 | root |
root |
/usr/lib/frama-c/gui_init.cmi
|
| -rw-r--r-- | 3524 | root |
root |
/usr/lib/frama-c/gui_parameters.cmi
|
| -rw-r--r-- | 151 | root |
root |
/usr/lib/frama-c/help_manager.cmi
|
| -rw-r--r-- | 2072 | root |
root |
/usr/lib/frama-c/hook.cmi
|
| -rw-r--r-- | 8858 | root |
root |
/usr/lib/frama-c/hptmap.cmi
|
| -rw-r--r-- | 7217 | root |
root |
/usr/lib/frama-c/hptset.cmi
|
| -rw-r--r-- | 161 | root |
root |
/usr/lib/frama-c/infer_annotations.cmi
|
| -rw-r--r-- | 2963 | root |
root |
/usr/lib/frama-c/inout_type.cmi
|
| -rw-r--r-- | 3569 | root |
root |
/usr/lib/frama-c/int_Base.cmi
|
| -rw-r--r-- | 2605 | root |
root |
/usr/lib/frama-c/int_Interv.cmi
|
| -rw-r--r-- | 10291 | root |
root |
/usr/lib/frama-c/int_Interv_Map.cmi
|
| -rw-r--r-- | 1763 | root |
root |
/usr/lib/frama-c/inthash.cmi
|
| -rw-r--r-- | 27472 | root |
root |
/usr/lib/frama-c/ival.cmi
|
| -rw-r--r-- | 1447 | root |
root |
/usr/lib/frama-c/journal.cmi
|
| -rw-r--r-- | 7089 | root |
root |
/usr/lib/frama-c/kernel.cmi
|
| -rw-r--r-- | 19055 | root |
root |
/usr/lib/frama-c/kernel_datatype.cmi
|
| -rw-r--r-- | 23159 | root |
root |
/usr/lib/frama-c/kernel_function.cmi
|
| -rw-r--r-- | 6259 | root |
root |
/usr/lib/frama-c/lattice_With_Isotropy.cmi
|
| -rw-r--r-- | 3931 | root |
root |
/usr/lib/frama-c/launcher.cmi
|
| -rw-r--r-- | 660 | root |
root |
/usr/lib/frama-c/lexerhack.cmi
|
| -rw-r--r-- | 78718 | root |
root |
/usr/lib/frama-c/liveness.cmi
|
| -rw-r--r-- | 24777 | root |
root |
/usr/lib/frama-c/lmap.cmi
|
| -rw-r--r-- | 20293 | root |
root |
/usr/lib/frama-c/lmap_bitwise.cmi
|
| -rw-r--r-- | 16332 | root |
root |
/usr/lib/frama-c/lmap_whole.cmi
|
| -rw-r--r-- | 52099 | root |
root |
/usr/lib/frama-c/locations.cmi
|
| -rw-r--r-- | 6049 | root |
root |
/usr/lib/frama-c/log.cmi
|
| -rw-r--r-- | 381 | root |
root |
/usr/lib/frama-c/logic_builtin.cmi
|
| -rw-r--r-- | 8258 | root |
root |
/usr/lib/frama-c/logic_const.cmi
|
| -rw-r--r-- | 9053 | root |
root |
/usr/lib/frama-c/logic_env.cmi
|
| -rw-r--r-- | 1966 | root |
root |
/usr/lib/frama-c/logic_interp.cmi
|
| -rw-r--r-- | 4682 | root |
root |
/usr/lib/frama-c/logic_lexer.cmi
|
| -rw-r--r-- | 2480 | root |
root |
/usr/lib/frama-c/logic_parser.cmi
|
| -rw-r--r-- | 299 | root |
root |
/usr/lib/frama-c/logic_preprocess.cmi
|
| -rw-r--r-- | 1764 | root |
root |
/usr/lib/frama-c/logic_print.cmi
|
| -rw-r--r-- | 6990 | root |
root |
/usr/lib/frama-c/logic_ptree.cmi
|
| -rw-r--r-- | 6478 | root |
root |
/usr/lib/frama-c/logic_typing.cmi
|
| -rw-r--r-- | 10953 | root |
root |
/usr/lib/frama-c/logic_utils.cmi
|
| -rw-r--r-- | 2335 | root |
root |
/usr/lib/frama-c/loop.cmi
|
| -rw-r--r-- | 610 | root |
root |
/usr/lib/frama-c/machdep.cmi
|
| -rw-r--r-- | 418 | root |
root |
/usr/lib/frama-c/machdep_ppc_32.cmi
|
| -rw-r--r-- | 412 | root |
root |
/usr/lib/frama-c/machdep_ppc_32_diab.cmi
|
| -rw-r--r-- | 402 | root |
root |
/usr/lib/frama-c/machdep_x86_16.cmi
|
| -rw-r--r-- | 402 | root |
root |
/usr/lib/frama-c/machdep_x86_32.cmi
|
| -rw-r--r-- | 402 | root |
root |
/usr/lib/frama-c/machdep_x86_64.cmi
|
| -rw-r--r-- | 37297 | root |
root |
/usr/lib/frama-c/map_Lattice.cmi
|
| -rw-r--r-- | 6302 | root |
root |
/usr/lib/frama-c/menu_manager.cmi
|
| -rw-r--r-- | 437 | root |
root |
/usr/lib/frama-c/mergecil.cmi
|
| -rw-r--r-- | 904 | root |
root |
/usr/lib/frama-c/messages.cmi
|
| -rw-r--r-- | 7050 | root |
root |
/usr/lib/frama-c/my_bigint.cmi
|
| -rw-r--r-- | 6556 | root |
root |
/usr/lib/frama-c/new_offsetmap.cmi
|
| -rw-r--r-- | 359 | root |
root |
/usr/lib/frama-c/obfuscate.cmi
|
| -rw-r--r-- | 17226 | root |
root |
/usr/lib/frama-c/offsetmap.cmi
|
| -rw-r--r-- | 8865 | root |
root |
/usr/lib/frama-c/offsetmap_bitwise.cmi
|
| -rw-r--r-- | 278 | root |
root |
/usr/lib/frama-c/oneret.cmi
|
| -rw-r--r-- | 2848 | root |
root |
/usr/lib/frama-c/origin.cmi
|
| -rw-r--r-- | 11495 | root |
root |
/usr/lib/frama-c/parameters.cmi
|
| -rw-r--r-- | 415 | root |
root |
/usr/lib/frama-c/patch.cmi
|
| -rw-r--r-- | 1872 | root |
root |
/usr/lib/frama-c/path_lattice.cmi
|
| -rw-r--r-- | 9762 | root |
root |
/usr/lib/frama-c/pdgIndex.cmi
|
| -rw-r--r-- | 5982 | root |
root |
/usr/lib/frama-c/pdgMarks.cmi
|
| -rw-r--r-- | 25703 | root |
root |
/usr/lib/frama-c/pdgTypes.cmi
|
| -rw-r--r-- | 28842 | root |
root |
/usr/lib/frama-c/plugin.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins
|
| -rw-r--r-- | 5730 | root |
root |
/usr/lib/frama-c/pretty_source.cmi
|
| -rw-r--r-- | 3572 | root |
root |
/usr/lib/frama-c/pretty_utils.cmi
|
| -rw-r--r-- | 23572 | root |
root |
/usr/lib/frama-c/printer.cmi
|
| -rw-r--r-- | 719 | root |
root |
/usr/lib/frama-c/printexc_common_interface.cmi
|
| -rw-r--r-- | 7324 | root |
root |
/usr/lib/frama-c/project.cmi
|
| -rw-r--r-- | 157 | root |
root |
/usr/lib/frama-c/project_manager.cmi
|
| -rw-r--r-- | 679 | root |
root |
/usr/lib/frama-c/project_skeleton.cmi
|
| -rw-r--r-- | 8492 | root |
root |
/usr/lib/frama-c/properties_status.cmi
|
| -rw-r--r-- | 21707 | root |
root |
/usr/lib/frama-c/property.cmi
|
| -rw-r--r-- | 163 | root |
root |
/usr/lib/frama-c/property_navigator.cmi
|
| -rw-r--r-- | 628 | root |
root |
/usr/lib/frama-c/ptests_config.cmi
|
| -rw-r--r-- | 2015 | root |
root |
/usr/lib/frama-c/qstack.cmi
|
| -rw-r--r-- | 11915 | root |
root |
/usr/lib/frama-c/rangemap.cmi
|
| -rw-r--r-- | 141515 | root |
root |
/usr/lib/frama-c/reachingdefs.cmi
|
| -rw-r--r-- | 15640 | root |
root |
/usr/lib/frama-c/relations_type.cmi
|
| -rw-r--r-- | 543766 | root |
root |
/usr/lib/frama-c/rmciltmps.cmi
|
| -rw-r--r-- | 938 | root |
root |
/usr/lib/frama-c/rmtmps.cmi
|
| -rw-r--r-- | 13643 | root |
root |
/usr/lib/frama-c/service_graph.cmi
|
| -rw-r--r-- | 7151 | root |
root |
/usr/lib/frama-c/setWithNearest.cmi
|
| -rw-r--r-- | 2196 | root |
root |
/usr/lib/frama-c/shifted_Location.cmi
|
| -rw-r--r-- | 5373 | root |
root |
/usr/lib/frama-c/slicingInternals.cmi
|
| -rw-r--r-- | 25713 | root |
root |
/usr/lib/frama-c/slicingTypes.cmi
|
| -rw-r--r-- | 3154 | root |
root |
/usr/lib/frama-c/source_manager.cmi
|
| -rw-r--r-- | 1265 | root |
root |
/usr/lib/frama-c/source_viewer.cmi
|
| -rw-r--r-- | 153 | root |
root |
/usr/lib/frama-c/special_hooks.cmi
|
| -rw-r--r-- | 19035 | root |
root |
/usr/lib/frama-c/state.cmi
|
| -rw-r--r-- | 36161 | root |
root |
/usr/lib/frama-c/state_builder.cmi
|
| -rw-r--r-- | 12977 | root |
root |
/usr/lib/frama-c/state_dependency_graph.cmi
|
| -rw-r--r-- | 3370 | root |
root |
/usr/lib/frama-c/state_imp.cmi
|
| -rw-r--r-- | 4673 | root |
root |
/usr/lib/frama-c/state_selection.cmi
|
| -rw-r--r-- | 3225 | root |
root |
/usr/lib/frama-c/state_set.cmi
|
| -rw-r--r-- | 1401 | root |
root |
/usr/lib/frama-c/state_topological.cmi
|
| -rw-r--r-- | 1988 | root |
root |
/usr/lib/frama-c/stmts_graph.cmi
|
| -rw-r--r-- | 2333 | root |
root |
/usr/lib/frama-c/structural_descr.cmi
|
| -rw-r--r-- | 803 | root |
root |
/usr/lib/frama-c/subst.cmi
|
| -rw-r--r-- | 4090 | root |
root |
/usr/lib/frama-c/task.cmi
|
| -rw-r--r-- | 310 | root |
root |
/usr/lib/frama-c/translate_lightweight.cmi
|
| -rw-r--r-- | 8593 | root |
root |
/usr/lib/frama-c/type.cmi
|
| -rw-r--r-- | 218 | root |
root |
/usr/lib/frama-c/unicode.cmi
|
| -rw-r--r-- | 3289 | root |
root |
/usr/lib/frama-c/unmarshal.cmi
|
| -rw-r--r-- | 422 | root |
root |
/usr/lib/frama-c/unmarshal_nums.cmi
|
| -rw-r--r-- | 26383 | root |
root |
/usr/lib/frama-c/unroll_loops.cmi
|
| -rw-r--r-- | 25747 | root |
root |
/usr/lib/frama-c/usedef.cmi
|
| -rw-r--r-- | 638 | root |
root |
/usr/lib/frama-c/utf8_logic.cmi
|
| -rw-r--r-- | 93205 | root |
root |
/usr/lib/frama-c/visitor.cmi
|
| -rw-r--r-- | 1227 | root |
root |
/usr/lib/frama-c/warning_manager.cmi
|
| -rw-r--r-- | 1070 | root |
root |
/usr/lib/frama-c/whitetrack.cmi
|
| -rw-r--r-- | 20614 | root |
root |
/usr/lib/frama-c/widen.cmi
|
| -rw-r--r-- | 3483 | root |
root |
/usr/lib/frama-c/widen_type.cmi
|
| -rw-r--r-- | 379 | root |
root |
/usr/lib/frama-c/zrapp.cmi
|
| -rw-r--r-- | 137 | root |
root |
/usr/lib/frama-c/plugins/Aorai.cmi
|
| -rw-r--r-- | 1483019 | root |
root |
/usr/lib/frama-c/plugins/Aorai.cmo
|
| -rwxr-xr-x | 637136 | root |
root |
/usr/lib/frama-c/plugins/Aorai.cmxs
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib/frama-c/plugins/Security_slicing.cmi
|
| -rw-r--r-- | 93522 | root |
root |
/usr/lib/frama-c/plugins/Security_slicing.cmo
|
| -rwxr-xr-x | 48268 | root |
root |
/usr/lib/frama-c/plugins/Security_slicing.cmxs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins/gui
|
| -rw-r--r-- | 159 | root |
root |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmi
|
| -rw-r--r-- | 108282 | root |
root |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmo
|
| -rwxr-xr-x | 54800 | root |
root |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c
|
| -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.6
|
| -rw-r--r-- | 35147 | root |
root |
/usr/share/doc/frama-c-1.6/GPLv3
|
| -rw-r--r-- | 25383 | root |
root |
/usr/share/doc/frama-c-1.6/LGPLv2
|
| -rw-r--r-- | 24382 | root |
root |
/usr/share/doc/frama-c-1.6/LGPLv2.1
|
| -rw-r--r-- | 7639 | root |
root |
/usr/share/doc/frama-c-1.6/LGPLv3
|
| -rw-r--r-- | 1673 | root |
root |
/usr/share/doc/frama-c-1.6/LICENSE
|
| -rw-r--r-- | 31742 | root |
root |
/usr/share/doc/frama-c-1.6/Q_MODIFIED_LICENSE
|
| -rw-r--r-- | 5147205 | root |
root |
/usr/share/doc/frama-c-1.6/user-manual.pdf
|
| -rw-r--r-- | 262963 | root |
root |
/usr/share/frama-c/attach.png
|
| -rw-r--r-- | 262963 | root |
root |
/usr/share/frama-c/check.png
|
| -rw-r--r-- | 262963 | root |
root |
/usr/share/frama-c/failed.png
|
| -rw-r--r-- | 6979 | root |
root |
/usr/share/frama-c/frama-c.gif
|
| -rw-r--r-- | 1150 | root |
root |
/usr/share/frama-c/frama-c.ico
|
| -rw-r--r-- | 262963 | root |
root |
/usr/share/frama-c/left.png
|
| -rw-r--r-- | 1050923 | root |
root |
/usr/share/frama-c/maybe.png
|
| -rw-r--r-- | 262963 | root |
root |
/usr/share/frama-c/relies_on_hyp.png
|
| -rw-r--r-- | 262963 | root |
root |
/usr/share/frama-c/right.png
|
| -rw-r--r-- | 4815 | root |
root |
/usr/share/man/man1/frama-c-gui.1.gz
|
| -rw-r--r-- | 4815 | root |
root |
/usr/share/man/man1/frama-c.1.gz
|
