-rwxr-xr-x | 5571948 | root |
root |
/usr/bin/frama-c
|
-rwxr-xr-x | 7629804 | root |
root |
/usr/bin/frama-c-gui
|
drwxr-xr-x | 28672 | root |
root |
/usr/lib/frama-c
|
-rw-r--r-- | 62051 | root |
root |
/usr/lib/frama-c/abstract_interp.cmi
|
-rw-r--r-- | 10887 | root |
root |
/usr/lib/frama-c/abstract_value.cmi
|
-rw-r--r-- | 1681 | 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-- | 5500 | root |
root |
/usr/lib/frama-c/annotations.cmi
|
-rw-r--r-- | 1416 | root |
root |
/usr/lib/frama-c/ast.cmi
|
-rw-r--r-- | 7777 | root |
root |
/usr/lib/frama-c/ast_info.cmi
|
-rw-r--r-- | 5503 | root |
root |
/usr/lib/frama-c/ast_printer.cmi
|
-rw-r--r-- | 160652 | root |
root |
/usr/lib/frama-c/availexpslv.cmi
|
-rw-r--r-- | 5108 | root |
root |
/usr/lib/frama-c/base.cmi
|
-rw-r--r-- | 7910 | root |
root |
/usr/lib/frama-c/baseUtils.cmi
|
-rw-r--r-- | 6174 | root |
root |
/usr/lib/frama-c/base_Set_Lattice.cmi
|
-rw-r--r-- | 2800 | 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-- | 2478 | root |
root |
/usr/lib/frama-c/bit_utils.cmi
|
-rw-r--r-- | 2677 | root |
root |
/usr/lib/frama-c/boot.cmi
|
-rw-r--r-- | 3425 | root |
root |
/usr/lib/frama-c/buckx.cmi
|
-rw-r--r-- | 7477 | root |
root |
/usr/lib/frama-c/cabs.cmi
|
-rw-r--r-- | 3119 | 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-- | 11685 | root |
root |
/usr/lib/frama-c/cabsvisit.cmi
|
-rw-r--r-- | 1774 | root |
root |
/usr/lib/frama-c/callgraph.cmi
|
-rw-r--r-- | 1564 | root |
root |
/usr/lib/frama-c/cfg.cmi
|
-rw-r--r-- | 201824 | root |
root |
/usr/lib/frama-c/cil.cmi
|
-rw-r--r-- | 3055 | root |
root |
/usr/lib/frama-c/cilE.cmi
|
-rw-r--r-- | 11507 | root |
root |
/usr/lib/frama-c/cil_computation.cmi
|
-rw-r--r-- | 2967 | root |
root |
/usr/lib/frama-c/cil_const.cmi
|
-rw-r--r-- | 31541 | root |
root |
/usr/lib/frama-c/cil_datatype.cmi
|
-rw-r--r-- | 18219 | 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-- | 74085 | root |
root |
/usr/lib/frama-c/ciltools.cmi
|
-rw-r--r-- | 74319 | 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-- | 4124 | root |
root |
/usr/lib/frama-c/cmdline.cmi
|
-rw-r--r-- | 1388 | root |
root |
/usr/lib/frama-c/command.cmi
|
-rw-r--r-- | 43931 | root |
root |
/usr/lib/frama-c/computation.cmi
|
-rw-r--r-- | 614 | root |
root |
/usr/lib/frama-c/config.cmi
|
-rw-r--r-- | 5483 | root |
root |
/usr/lib/frama-c/cparser.cmi
|
-rw-r--r-- | 5656 | root |
root |
/usr/lib/frama-c/cprint.cmi
|
-rw-r--r-- | 61298 | root |
root |
/usr/lib/frama-c/cvalue_type.cmi
|
-rw-r--r-- | 5819 | root |
root |
/usr/lib/frama-c/dataflow.cmi
|
-rw-r--r-- | 25529 | root |
root |
/usr/lib/frama-c/datatype.cmi
|
-rw-r--r-- | 62055 | root |
root |
/usr/lib/frama-c/db.cmi
|
-rw-r--r-- | 2401 | root |
root |
/usr/lib/frama-c/db_types.cmi
|
-rw-r--r-- | 248015 | root |
root |
/usr/lib/frama-c/deadcodeelim.cmi
|
-rw-r--r-- | 153 | root |
root |
/usr/lib/frama-c/debug_manager.cmi
|
-rw-r--r-- | 2799 | root |
root |
/usr/lib/frama-c/descr.cmi
|
-rw-r--r-- | 28291 | root |
root |
/usr/lib/frama-c/design.cmi
|
-rw-r--r-- | 99767 | root |
root |
/usr/lib/frama-c/dgraph.cmi
|
-rw-r--r-- | 1155 | root |
root |
/usr/lib/frama-c/dominators.cmi
|
-rw-r--r-- | 1082 | 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-- | 22214 | root |
root |
/usr/lib/frama-c/expcompare.cmi
|
-rw-r--r-- | 3831 | root |
root |
/usr/lib/frama-c/extlib.cmi
|
-rw-r--r-- | 25118 | root |
root |
/usr/lib/frama-c/file.cmi
|
-rw-r--r-- | 151 | root |
root |
/usr/lib/frama-c/file_manager.cmi
|
-rw-r--r-- | 4783 | root |
root |
/usr/lib/frama-c/filetree.cmi
|
-rw-r--r-- | 3664 | root |
root |
/usr/lib/frama-c/filter.cmi
|
-rw-r--r-- | 618 | root |
root |
/usr/lib/frama-c/frontc.cmi
|
-rw-r--r-- | 3090 | root |
root |
/usr/lib/frama-c/function_Froms.cmi
|
-rw-r--r-- | 6693 | root |
root |
/usr/lib/frama-c/globals.cmi
|
-rw-r--r-- | 464441 | root |
root |
/usr/lib/frama-c/graph.cmi
|
-rw-r--r-- | 2599 | root |
root |
/usr/lib/frama-c/growArray.cmi
|
-rw-r--r-- | 36830 | 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-- | 3157 | 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-- | 161 | root |
root |
/usr/lib/frama-c/infer_annotations.cmi
|
-rw-r--r-- | 2673 | root |
root |
/usr/lib/frama-c/inout_type.cmi
|
-rw-r--r-- | 3678 | root |
root |
/usr/lib/frama-c/int_Base.cmi
|
-rw-r--r-- | 2318 | root |
root |
/usr/lib/frama-c/int_Interv.cmi
|
-rw-r--r-- | 7167 | 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-- | 26505 | root |
root |
/usr/lib/frama-c/ival.cmi
|
-rw-r--r-- | 1012 | root |
root |
/usr/lib/frama-c/journal.cmi
|
-rw-r--r-- | 6476 | root |
root |
/usr/lib/frama-c/kernel.cmi
|
-rw-r--r-- | 4529 | root |
root |
/usr/lib/frama-c/kernel_datatype.cmi
|
-rw-r--r-- | 11789 | root |
root |
/usr/lib/frama-c/kernel_function.cmi
|
-rw-r--r-- | 2561 | root |
root |
/usr/lib/frama-c/kernel_type.cmi
|
-rw-r--r-- | 5439 | root |
root |
/usr/lib/frama-c/kind.cmi
|
-rw-r--r-- | 6312 | 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-- | 77268 | root |
root |
/usr/lib/frama-c/liveness.cmi
|
-rw-r--r-- | 22427 | root |
root |
/usr/lib/frama-c/lmap.cmi
|
-rw-r--r-- | 21221 | root |
root |
/usr/lib/frama-c/lmap_bitwise.cmi
|
-rw-r--r-- | 15513 | root |
root |
/usr/lib/frama-c/lmap_whole.cmi
|
-rw-r--r-- | 37019 | root |
root |
/usr/lib/frama-c/locations.cmi
|
-rw-r--r-- | 5975 | root |
root |
/usr/lib/frama-c/log.cmi
|
-rw-r--r-- | 381 | root |
root |
/usr/lib/frama-c/logic_builtin.cmi
|
-rw-r--r-- | 7954 | root |
root |
/usr/lib/frama-c/logic_const.cmi
|
-rw-r--r-- | 9259 | root |
root |
/usr/lib/frama-c/logic_env.cmi
|
-rw-r--r-- | 1669 | root |
root |
/usr/lib/frama-c/logic_interp.cmi
|
-rw-r--r-- | 4445 | root |
root |
/usr/lib/frama-c/logic_lexer.cmi
|
-rw-r--r-- | 2172 | 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-- | 5739 | root |
root |
/usr/lib/frama-c/logic_ptree.cmi
|
-rw-r--r-- | 3028 | root |
root |
/usr/lib/frama-c/logic_typing.cmi
|
-rw-r--r-- | 11231 | root |
root |
/usr/lib/frama-c/logic_utils.cmi
|
-rw-r--r-- | 2127 | 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-- | 22405 | root |
root |
/usr/lib/frama-c/map_Lattice.cmi
|
-rw-r--r-- | 5627 | root |
root |
/usr/lib/frama-c/menu_manager.cmi
|
-rw-r--r-- | 437 | root |
root |
/usr/lib/frama-c/mergecil.cmi
|
-rw-r--r-- | 3650 | root |
root |
/usr/lib/frama-c/mergemap.cmi
|
-rw-r--r-- | 905 | root |
root |
/usr/lib/frama-c/messages.cmi
|
-rw-r--r-- | 4937 | root |
root |
/usr/lib/frama-c/mweak.cmi
|
-rw-r--r-- | 6957 | root |
root |
/usr/lib/frama-c/my_bigint.cmi
|
-rw-r--r-- | 666 | root |
root |
/usr/lib/frama-c/namespace.cmi
|
-rw-r--r-- | 7341 | root |
root |
/usr/lib/frama-c/new_offsetmap.cmi
|
-rw-r--r-- | 359 | root |
root |
/usr/lib/frama-c/obfuscate.cmi
|
-rw-r--r-- | 21993 | root |
root |
/usr/lib/frama-c/offsetmap.cmi
|
-rw-r--r-- | 8866 | root |
root |
/usr/lib/frama-c/offsetmap_bitwise.cmi
|
-rw-r--r-- | 278 | root |
root |
/usr/lib/frama-c/oneret.cmi
|
-rw-r--r-- | 1765 | root |
root |
/usr/lib/frama-c/origin.cmi
|
-rw-r--r-- | 11470 | root |
root |
/usr/lib/frama-c/parameters.cmi
|
-rw-r--r-- | 415 | root |
root |
/usr/lib/frama-c/patch.cmi
|
-rw-r--r-- | 1671 | root |
root |
/usr/lib/frama-c/path_lattice.cmi
|
-rw-r--r-- | 8450 | root |
root |
/usr/lib/frama-c/pdgIndex.cmi
|
-rw-r--r-- | 6165 | root |
root |
/usr/lib/frama-c/pdgMarks.cmi
|
-rw-r--r-- | 25024 | root |
root |
/usr/lib/frama-c/pdgTypes.cmi
|
-rw-r--r-- | 28623 | root |
root |
/usr/lib/frama-c/plugin.cmi
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins
|
-rw-r--r-- | 6529 | root |
root |
/usr/lib/frama-c/pretty_source.cmi
|
-rw-r--r-- | 3018 | root |
root |
/usr/lib/frama-c/pretty_utils.cmi
|
-rw-r--r-- | 23461 | 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-- | 17060 | root |
root |
/usr/lib/frama-c/project.cmi
|
-rw-r--r-- | 157 | root |
root |
/usr/lib/frama-c/project_manager.cmi
|
-rw-r--r-- | 23607 | root |
root |
/usr/lib/frama-c/properties_status.cmi
|
-rw-r--r-- | 628 | root |
root |
/usr/lib/frama-c/ptests_config.cmi
|
-rw-r--r-- | 7363 | root |
root |
/usr/lib/frama-c/ptmap.cmi
|
-rw-r--r-- | 6423 | root |
root |
/usr/lib/frama-c/ptset.cmi
|
-rw-r--r-- | 2015 | root |
root |
/usr/lib/frama-c/qstack.cmi
|
-rw-r--r-- | 4146 | root |
root |
/usr/lib/frama-c/rangemap.cmi
|
-rw-r--r-- | 139120 | root |
root |
/usr/lib/frama-c/reachingdefs.cmi
|
-rw-r--r-- | 8564 | root |
root |
/usr/lib/frama-c/relations_type.cmi
|
-rw-r--r-- | 533189 | root |
root |
/usr/lib/frama-c/rmciltmps.cmi
|
-rw-r--r-- | 746 | root |
root |
/usr/lib/frama-c/rmtmps.cmi
|
-rw-r--r-- | 13277 | root |
root |
/usr/lib/frama-c/service_graph.cmi
|
-rw-r--r-- | 5190 | root |
root |
/usr/lib/frama-c/setWithNearest.cmi
|
-rw-r--r-- | 1995 | root |
root |
/usr/lib/frama-c/shifted_Location.cmi
|
-rw-r--r-- | 861 | root |
root |
/usr/lib/frama-c/signature.cmi
|
-rw-r--r-- | 7359 | root |
root |
/usr/lib/frama-c/slicingInternals.cmi
|
-rw-r--r-- | 3322 | root |
root |
/usr/lib/frama-c/slicingTypes.cmi
|
-rw-r--r-- | 3095 | 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-- | 2969 | root |
root |
/usr/lib/frama-c/state_set.cmi
|
-rw-r--r-- | 1787 | root |
root |
/usr/lib/frama-c/stmts_graph.cmi
|
-rw-r--r-- | 803 | root |
root |
/usr/lib/frama-c/subst.cmi
|
-rw-r--r-- | 310 | root |
root |
/usr/lib/frama-c/translate_lightweight.cmi
|
-rw-r--r-- | 12086 | root |
root |
/usr/lib/frama-c/type.cmi
|
-rw-r--r-- | 218 | root |
root |
/usr/lib/frama-c/unicode.cmi
|
-rw-r--r-- | 14090 | root |
root |
/usr/lib/frama-c/unmarshal.cmi
|
-rw-r--r-- | 468 | root |
root |
/usr/lib/frama-c/unmarshal_nums.cmi
|
-rw-r--r-- | 24616 | root |
root |
/usr/lib/frama-c/unroll_loops.cmi
|
-rw-r--r-- | 25122 | root |
root |
/usr/lib/frama-c/usedef.cmi
|
-rw-r--r-- | 638 | root |
root |
/usr/lib/frama-c/utf8_logic.cmi
|
-rw-r--r-- | 4500 | root |
root |
/usr/lib/frama-c/viewgraph.cmi
|
-rw-r--r-- | 89334 | 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-- | 20212 | root |
root |
/usr/lib/frama-c/widen.cmi
|
-rw-r--r-- | 3254 | root |
root |
/usr/lib/frama-c/widen_type.cmi
|
-rw-r--r-- | 379 | root |
root |
/usr/lib/frama-c/zrapp.cmi
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/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
|