| -rwxr-xr-x | 6618664 | root |
root |
/usr/bin/frama-c
|
| -rwxr-xr-x | 371292 | root |
root |
/usr/bin/frama-c-config
|
| -rwxr-xr-x | 9092808 | root |
root |
/usr/bin/frama-c-gui
|
| -rwxr-xr-x | 728360 | root |
root |
/usr/bin/ptests
|
| drwxr-xr-x | 28672 | root |
root |
/usr/lib/frama-c
|
| -rw-r--r-- | 2810 | root |
root |
/usr/lib/frama-c/FCBuffer.cmi
|
| -rw-r--r-- | 2001 | root |
root |
/usr/lib/frama-c/FCDynlink.cmi
|
| -rw-r--r-- | 6522 | root |
root |
/usr/lib/frama-c/FCHashtbl.cmi
|
| -rw-r--r-- | 6555 | root |
root |
/usr/lib/frama-c/FCMap.cmi
|
| -rw-r--r-- | 7810 | root |
root |
/usr/lib/frama-c/FCSet.cmi
|
| -rw-r--r-- | 350279 | root |
root |
/usr/lib/frama-c/Qed.cmi
|
| -rw-r--r-- | 86784 | root |
root |
/usr/lib/frama-c/abstract_interp.cmi
|
| -rw-r--r-- | 20743 | root |
root |
/usr/lib/frama-c/alarms.cmi
|
| -rw-r--r-- | 26684 | root |
root |
/usr/lib/frama-c/allocates.cmi
|
| -rw-r--r-- | 1513 | root |
root |
/usr/lib/frama-c/alpha.cmi
|
| -rw-r--r-- | 206 | root |
root |
/usr/lib/frama-c/analyses_manager.cmi
|
| -rw-r--r-- | 15844 | root |
root |
/usr/lib/frama-c/annotations.cmi
|
| -rw-r--r-- | 1680 | root |
root |
/usr/lib/frama-c/asm_contracts.cmi
|
| -rw-r--r-- | 2745 | root |
root |
/usr/lib/frama-c/ast.cmi
|
| -rw-r--r-- | 6400 | root |
root |
/usr/lib/frama-c/ast_info.cmi
|
| -rw-r--r-- | 2011 | root |
root |
/usr/lib/frama-c/bag.cmi
|
| -rw-r--r-- | 82030 | root |
root |
/usr/lib/frama-c/base.cmi
|
| -rw-r--r-- | 2517 | root |
root |
/usr/lib/frama-c/binary_cache.cmi
|
| -rw-r--r-- | 3362 | root |
root |
/usr/lib/frama-c/bit_utils.cmi
|
| -rw-r--r-- | 3422 | root |
root |
/usr/lib/frama-c/bitvector.cmi
|
| -rw-r--r-- | 3357 | root |
root |
/usr/lib/frama-c/book_manager.cmi
|
| -rw-r--r-- | 3164 | root |
root |
/usr/lib/frama-c/boot.cmi
|
| -rw-r--r-- | 6421 | root |
root |
/usr/lib/frama-c/bottom.cmi
|
| -rw-r--r-- | 9918 | root |
root |
/usr/lib/frama-c/cabs.cmi
|
| -rw-r--r-- | 6505 | root |
root |
/usr/lib/frama-c/cabs2cil.cmi
|
| -rw-r--r-- | 4279 | root |
root |
/usr/lib/frama-c/cabs_debug.cmi
|
| -rw-r--r-- | 3850 | root |
root |
/usr/lib/frama-c/cabshelper.cmi
|
| -rw-r--r-- | 12144 | root |
root |
/usr/lib/frama-c/cabsvisit.cmi
|
| -rw-r--r-- | 1161 | root |
root |
/usr/lib/frama-c/cfg.cmi
|
| -rw-r--r-- | 151207 | root |
root |
/usr/lib/frama-c/cil.cmi
|
| -rw-r--r-- | 644 | root |
root |
/usr/lib/frama-c/cilE.cmi
|
| -rw-r--r-- | 3389 | root |
root |
/usr/lib/frama-c/cil_const.cmi
|
| -rw-r--r-- | 863983 | root |
root |
/usr/lib/frama-c/cil_datatype.cmi
|
| -rw-r--r-- | 808 | root |
root |
/usr/lib/frama-c/cil_descriptive_printer.cmi
|
| -rw-r--r-- | 88058 | root |
root |
/usr/lib/frama-c/cil_printer.cmi
|
| -rw-r--r-- | 13883 | root |
root |
/usr/lib/frama-c/cil_state_builder.cmi
|
| -rw-r--r-- | 25644 | root |
root |
/usr/lib/frama-c/cil_types.cmi
|
| -rw-r--r-- | 1893 | root |
root |
/usr/lib/frama-c/cilconfig.cmi
|
| -rw-r--r-- | 1355 | root |
root |
/usr/lib/frama-c/clexer.cmi
|
| -rw-r--r-- | 641 | root |
root |
/usr/lib/frama-c/clone.cmi
|
| -rw-r--r-- | 6519 | root |
root |
/usr/lib/frama-c/cmdline.cmi
|
| -rw-r--r-- | 3206 | root |
root |
/usr/lib/frama-c/command.cmi
|
| -rw-r--r-- | 982 | root |
root |
/usr/lib/frama-c/config.cmi
|
| -rw-r--r-- | 6750 | root |
root |
/usr/lib/frama-c/cparser.cmi
|
| -rw-r--r-- | 4953 | root |
root |
/usr/lib/frama-c/cprint.cmi
|
| -rw-r--r-- | 70297 | root |
root |
/usr/lib/frama-c/cvalue.cmi
|
| -rw-r--r-- | 6982 | root |
root |
/usr/lib/frama-c/dataflow.cmi
|
| -rw-r--r-- | 7040 | root |
root |
/usr/lib/frama-c/dataflow2.cmi
|
| -rw-r--r-- | 5439 | root |
root |
/usr/lib/frama-c/dataflows.cmi
|
| -rw-r--r-- | 408150 | root |
root |
/usr/lib/frama-c/datatype.cmi
|
| -rw-r--r-- | 74636 | root |
root |
/usr/lib/frama-c/db.cmi
|
| -rw-r--r-- | 200 | root |
root |
/usr/lib/frama-c/debug_manager.cmi
|
| -rw-r--r-- | 3085 | root |
root |
/usr/lib/frama-c/descr.cmi
|
| -rw-r--r-- | 2955 | root |
root |
/usr/lib/frama-c/description.cmi
|
| -rw-r--r-- | 34186 | root |
root |
/usr/lib/frama-c/design.cmi
|
| -rw-r--r-- | 856 | root |
root |
/usr/lib/frama-c/dominators.cmi
|
| -rw-r--r-- | 6735 | root |
root |
/usr/lib/frama-c/dynamic.cmi
|
| -rw-r--r-- | 52380 | root |
root |
/usr/lib/frama-c/emitter.cmi
|
| -rw-r--r-- | 1276 | root |
root |
/usr/lib/frama-c/errorloc.cmi
|
| -rw-r--r-- | 597 | root |
root |
/usr/lib/frama-c/escape.cmi
|
| -rw-r--r-- | 1967 | root |
root |
/usr/lib/frama-c/exn_flow.cmi
|
| -rw-r--r-- | 8823 | root |
root |
/usr/lib/frama-c/extlib.cmi
|
| -rw-r--r-- | 6575 | root |
root |
/usr/lib/frama-c/file.cmi
|
| -rw-r--r-- | 198 | root |
root |
/usr/lib/frama-c/file_manager.cmi
|
| -rw-r--r-- | 743 | root |
root |
/usr/lib/frama-c/filecheck.cmi
|
| -rw-r--r-- | 713 | root |
root |
/usr/lib/frama-c/filepath.cmi
|
| -rw-r--r-- | 7342 | root |
root |
/usr/lib/frama-c/filetree.cmi
|
| -rw-r--r-- | 3646 | root |
root |
/usr/lib/frama-c/filter.cmi
|
| -rw-r--r-- | 3950 | root |
root |
/usr/lib/frama-c/floating_point.cmi
|
| -rw-r--r-- | 198 | root |
root |
/usr/lib/frama-c/frama_c_init.cmi
|
| -rw-r--r-- | 944 | root |
root |
/usr/lib/frama-c/frontc.cmi
|
| -rw-r--r-- | 20675 | root |
root |
/usr/lib/frama-c/function_Froms.cmi
|
| -rw-r--r-- | 12415 | root |
root |
/usr/lib/frama-c/fval.cmi
|
| -rw-r--r-- | 6228 | root |
root |
/usr/lib/frama-c/globals.cmi
|
| -rw-r--r-- | 3267 | root |
root |
/usr/lib/frama-c/gtk_form.cmi
|
| -rw-r--r-- | 46221 | root |
root |
/usr/lib/frama-c/gtk_helper.cmi
|
| -rw-r--r-- | 6149 | root |
root |
/usr/lib/frama-c/gui_parameters.cmi
|
| -rw-r--r-- | 1334 | root |
root |
/usr/lib/frama-c/gui_printers.cmi
|
| -rw-r--r-- | 198 | root |
root |
/usr/lib/frama-c/help_manager.cmi
|
| -rw-r--r-- | 3970 | root |
root |
/usr/lib/frama-c/history.cmi
|
| -rw-r--r-- | 6546 | root |
root |
/usr/lib/frama-c/hook.cmi
|
| -rw-r--r-- | 30148 | root |
root |
/usr/lib/frama-c/hptmap.cmi
|
| -rw-r--r-- | 26689 | root |
root |
/usr/lib/frama-c/hptmap_sig.cmi
|
| -rw-r--r-- | 40178 | root |
root |
/usr/lib/frama-c/hptset.cmi
|
| -rw-r--r-- | 1583 | root |
root |
/usr/lib/frama-c/indexer.cmi
|
| -rw-r--r-- | 1536 | root |
root |
/usr/lib/frama-c/infer_annotations.cmi
|
| -rw-r--r-- | 3642 | root |
root |
/usr/lib/frama-c/inout_type.cmi
|
| -rw-r--r-- | 2853 | root |
root |
/usr/lib/frama-c/int_Base.cmi
|
| -rw-r--r-- | 5162 | root |
root |
/usr/lib/frama-c/int_Intervals.cmi
|
| -rw-r--r-- | 4847 | root |
root |
/usr/lib/frama-c/int_Intervals_sig.cmi
|
| -rw-r--r-- | 6218 | root |
root |
/usr/lib/frama-c/integer.cmi
|
| -rw-r--r-- | 33753 | root |
root |
/usr/lib/frama-c/ival.cmi
|
| -rw-r--r-- | 2258 | root |
root |
/usr/lib/frama-c/journal.cmi
|
| -rw-r--r-- | 2969 | root |
root |
/usr/lib/frama-c/json.cmi
|
| -rw-r--r-- | 17239 | root |
root |
/usr/lib/frama-c/kernel.cmi
|
| -rw-r--r-- | 43784 | root |
root |
/usr/lib/frama-c/kernel_function.cmi
|
| -rw-r--r-- | 1246 | root |
root |
/usr/lib/frama-c/lattice_messages.cmi
|
| -rw-r--r-- | 35199 | root |
root |
/usr/lib/frama-c/lattice_type.cmi
|
| -rw-r--r-- | 5254 | root |
root |
/usr/lib/frama-c/launcher.cmi
|
| -rw-r--r-- | 1068 | root |
root |
/usr/lib/frama-c/leftistheap.cmi
|
| -rw-r--r-- | 1857 | root |
root |
/usr/lib/frama-c/lexerhack.cmi
|
| -rw-r--r-- | 35898 | root |
root |
/usr/lib/frama-c/lmap.cmi
|
| -rw-r--r-- | 23044 | root |
root |
/usr/lib/frama-c/lmap_bitwise.cmi
|
| -rw-r--r-- | 23446 | root |
root |
/usr/lib/frama-c/lmap_sig.cmi
|
| -rw-r--r-- | 71998 | root |
root |
/usr/lib/frama-c/locations.cmi
|
| -rw-r--r-- | 11368 | root |
root |
/usr/lib/frama-c/log.cmi
|
| -rw-r--r-- | 719 | root |
root |
/usr/lib/frama-c/logic_builtin.cmi
|
| -rw-r--r-- | 11181 | root |
root |
/usr/lib/frama-c/logic_const.cmi
|
| -rw-r--r-- | 16037 | root |
root |
/usr/lib/frama-c/logic_env.cmi
|
| -rw-r--r-- | 771 | root |
root |
/usr/lib/frama-c/logic_interp.cmi
|
| -rw-r--r-- | 1311 | root |
root |
/usr/lib/frama-c/logic_lexer.cmi
|
| -rw-r--r-- | 4575 | root |
root |
/usr/lib/frama-c/logic_parser.cmi
|
| -rw-r--r-- | 389 | root |
root |
/usr/lib/frama-c/logic_preprocess.cmi
|
| -rw-r--r-- | 2081 | root |
root |
/usr/lib/frama-c/logic_print.cmi
|
| -rw-r--r-- | 11503 | root |
root |
/usr/lib/frama-c/logic_ptree.cmi
|
| -rw-r--r-- | 11806 | root |
root |
/usr/lib/frama-c/logic_typing.cmi
|
| -rw-r--r-- | 39377 | root |
root |
/usr/lib/frama-c/logic_utils.cmi
|
| -rw-r--r-- | 1799 | root |
root |
/usr/lib/frama-c/loop.cmi
|
| -rw-r--r-- | 971 | root |
root |
/usr/lib/frama-c/machdeps.cmi
|
| -rw-r--r-- | 125325 | root |
root |
/usr/lib/frama-c/map_Lattice.cmi
|
| -rw-r--r-- | 9914 | root |
root |
/usr/lib/frama-c/menu_manager.cmi
|
| -rw-r--r-- | 684 | root |
root |
/usr/lib/frama-c/mergecil.cmi
|
| -rw-r--r-- | 1472 | root |
root |
/usr/lib/frama-c/messages.cmi
|
| -rw-r--r-- | 24257 | root |
root |
/usr/lib/frama-c/offsetmap.cmi
|
| -rw-r--r-- | 6578 | root |
root |
/usr/lib/frama-c/offsetmap_bitwise_sig.cmi
|
| -rw-r--r-- | 4397 | root |
root |
/usr/lib/frama-c/offsetmap_lattice_with_isotropy.cmi
|
| -rw-r--r-- | 9602 | root |
root |
/usr/lib/frama-c/offsetmap_sig.cmi
|
| -rw-r--r-- | 613 | root |
root |
/usr/lib/frama-c/oneret.cmi
|
| -rw-r--r-- | 1141 | root |
root |
/usr/lib/frama-c/ordered_stmt.cmi
|
| -rw-r--r-- | 10628 | root |
root |
/usr/lib/frama-c/origin.cmi
|
| -rw-r--r-- | 3108 | root |
root |
/usr/lib/frama-c/parameter_builder.cmi
|
| -rw-r--r-- | 2073 | root |
root |
/usr/lib/frama-c/parameter_category.cmi
|
| -rw-r--r-- | 4818 | root |
root |
/usr/lib/frama-c/parameter_customize.cmi
|
| -rw-r--r-- | 111637 | root |
root |
/usr/lib/frama-c/parameter_sig.cmi
|
| -rw-r--r-- | 5722 | root |
root |
/usr/lib/frama-c/parameter_state.cmi
|
| -rw-r--r-- | 11129 | root |
root |
/usr/lib/frama-c/pdgIndex.cmi
|
| -rw-r--r-- | 6743 | root |
root |
/usr/lib/frama-c/pdgMarks.cmi
|
| -rw-r--r-- | 65360 | root |
root |
/usr/lib/frama-c/pdgTypes.cmi
|
| -rw-r--r-- | 65572 | root |
root |
/usr/lib/frama-c/plugin.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins
|
| -rw-r--r-- | 4470 | root |
root |
/usr/lib/frama-c/precise_locs.cmi
|
| -rw-r--r-- | 6082 | root |
root |
/usr/lib/frama-c/pretty_source.cmi
|
| -rw-r--r-- | 4383 | root |
root |
/usr/lib/frama-c/pretty_utils.cmi
|
| -rw-r--r-- | 87389 | root |
root |
/usr/lib/frama-c/printer.cmi
|
| -rw-r--r-- | 96151 | root |
root |
/usr/lib/frama-c/printer_api.cmi
|
| -rw-r--r-- | 31643 | root |
root |
/usr/lib/frama-c/printer_builder.cmi
|
| -rw-r--r-- | 22784 | root |
root |
/usr/lib/frama-c/project.cmi
|
| -rw-r--r-- | 204 | root |
root |
/usr/lib/frama-c/project_manager.cmi
|
| -rw-r--r-- | 4901 | root |
root |
/usr/lib/frama-c/project_skeleton.cmi
|
| -rw-r--r-- | 28752 | root |
root |
/usr/lib/frama-c/property.cmi
|
| -rw-r--r-- | 210 | root |
root |
/usr/lib/frama-c/property_navigator.cmi
|
| -rw-r--r-- | 9507 | root |
root |
/usr/lib/frama-c/property_status.cmi
|
| -rw-r--r-- | 265 | root |
root |
/usr/lib/frama-c/ptests_config.cmi
|
| -rw-r--r-- | 2190 | root |
root |
/usr/lib/frama-c/qstack.cmi
|
| -rw-r--r-- | 13851 | root |
root |
/usr/lib/frama-c/rangemap.cmi
|
| -rw-r--r-- | 950 | root |
root |
/usr/lib/frama-c/rgmap.cmi
|
| -rw-r--r-- | 1302 | root |
root |
/usr/lib/frama-c/rmtmps.cmi
|
| -rw-r--r-- | 26895 | root |
root |
/usr/lib/frama-c/service_graph.cmi
|
| -rw-r--r-- | 6203 | root |
root |
/usr/lib/frama-c/slicingInternals.cmi
|
| -rw-r--r-- | 24126 | root |
root |
/usr/lib/frama-c/slicingTypes.cmi
|
| -rw-r--r-- | 3614 | root |
root |
/usr/lib/frama-c/source_manager.cmi
|
| -rw-r--r-- | 1826 | root |
root |
/usr/lib/frama-c/source_viewer.cmi
|
| -rw-r--r-- | 200 | root |
root |
/usr/lib/frama-c/special_hooks.cmi
|
| -rw-r--r-- | 20948 | root |
root |
/usr/lib/frama-c/state.cmi
|
| -rw-r--r-- | 71565 | root |
root |
/usr/lib/frama-c/state_builder.cmi
|
| -rw-r--r-- | 13195 | root |
root |
/usr/lib/frama-c/state_dependency_graph.cmi
|
| -rw-r--r-- | 5230 | root |
root |
/usr/lib/frama-c/state_selection.cmi
|
| -rw-r--r-- | 1763 | root |
root |
/usr/lib/frama-c/state_topological.cmi
|
| -rw-r--r-- | 2321 | root |
root |
/usr/lib/frama-c/statuses_by_call.cmi
|
| -rw-r--r-- | 3289 | root |
root |
/usr/lib/frama-c/stmts_graph.cmi
|
| -rw-r--r-- | 2971 | root |
root |
/usr/lib/frama-c/structural_descr.cmi
|
| -rw-r--r-- | 6054 | root |
root |
/usr/lib/frama-c/task.cmi
|
| -rw-r--r-- | 2083 | root |
root |
/usr/lib/frama-c/tr_offset.cmi
|
| -rw-r--r-- | 1834 | root |
root |
/usr/lib/frama-c/trace.cmi
|
| -rw-r--r-- | 681 | root |
root |
/usr/lib/frama-c/transitioning.cmi
|
| -rw-r--r-- | 1632 | root |
root |
/usr/lib/frama-c/translate_lightweight.cmi
|
| -rw-r--r-- | 15271 | root |
root |
/usr/lib/frama-c/type.cmi
|
| -rw-r--r-- | 18470 | root |
root |
/usr/lib/frama-c/typed_parameter.cmi
|
| -rw-r--r-- | 350 | root |
root |
/usr/lib/frama-c/unicode.cmi
|
| -rw-r--r-- | 3597 | root |
root |
/usr/lib/frama-c/unmarshal.cmi
|
| -rw-r--r-- | 498 | root |
root |
/usr/lib/frama-c/unmarshal_nums.cmi
|
| -rw-r--r-- | 196 | root |
root |
/usr/lib/frama-c/unmarshal_z.cmi
|
| -rw-r--r-- | 1609 | root |
root |
/usr/lib/frama-c/unroll_loops.cmi
|
| -rw-r--r-- | 785 | root |
root |
/usr/lib/frama-c/utf8_logic.cmi
|
| -rw-r--r-- | 34925 | root |
root |
/usr/lib/frama-c/value_types.cmi
|
| -rw-r--r-- | 2144 | root |
root |
/usr/lib/frama-c/vector.cmi
|
| -rw-r--r-- | 126438 | root |
root |
/usr/lib/frama-c/visitor.cmi
|
| -rw-r--r-- | 1520 | root |
root |
/usr/lib/frama-c/warning_manager.cmi
|
| -rw-r--r-- | 5300 | root |
root |
/usr/lib/frama-c/wbox.cmi
|
| -rw-r--r-- | 10099 | root |
root |
/usr/lib/frama-c/wfile.cmi
|
| -rw-r--r-- | 3597 | root |
root |
/usr/lib/frama-c/widen_type.cmi
|
| -rw-r--r-- | 44768 | root |
root |
/usr/lib/frama-c/widget.cmi
|
| -rw-r--r-- | 6593 | root |
root |
/usr/lib/frama-c/wpalette.cmi
|
| -rw-r--r-- | 17052 | root |
root |
/usr/lib/frama-c/wpane.cmi
|
| -rw-r--r-- | 19243 | root |
root |
/usr/lib/frama-c/wtable.cmi
|
| -rw-r--r-- | 13073 | root |
root |
/usr/lib/frama-c/wtext.cmi
|
| -rw-r--r-- | 1221 | root |
root |
/usr/lib/frama-c/wto.cmi
|
| -rw-r--r-- | 4012 | root |
root |
/usr/lib/frama-c/wto_statement.cmi
|
| -rw-r--r-- | 16248 | root |
root |
/usr/lib/frama-c/wutil.cmi
|
| -rw-r--r-- | 184 | root |
root |
/usr/lib/frama-c/plugins/Aorai.cmi
|
| -rw-r--r-- | 25540 | root |
root |
/usr/lib/frama-c/plugins/Callgraph.cmi
|
| -rw-r--r-- | 214 | root |
root |
/usr/lib/frama-c/plugins/Constant_Propagation.cmi
|
| -rw-r--r-- | 182 | root |
root |
/usr/lib/frama-c/plugins/From.cmi
|
| -rw-r--r-- | 186 | root |
root |
/usr/lib/frama-c/plugins/Impact.cmi
|
| -rw-r--r-- | 184 | root |
root |
/usr/lib/frama-c/plugins/Inout.cmi
|
| -rw-r--r-- | 1706 | root |
root |
/usr/lib/frama-c/plugins/LoopAnalysis.cmi
|
| -rw-r--r-- | 228 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-aorai
|
| -rw-r--r-- | 411 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-callgraph
|
| -rw-r--r-- | 316 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-constant_propagation
|
| -rw-r--r-- | 397 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-from
|
| -rw-r--r-- | 423 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-impact
|
| -rw-r--r-- | 259 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-inout
|
| -rw-r--r-- | 263 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-loopanalysis
|
| -rw-r--r-- | 406 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-metrics
|
| -rw-r--r-- | 251 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-nonterm
|
| -rw-r--r-- | 253 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-obfuscator
|
| -rw-r--r-- | 433 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-occurrence
|
| -rw-r--r-- | 249 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-pdg
|
| -rw-r--r-- | 273 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-postdominators
|
| -rw-r--r-- | 248 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-print_api
|
| -rw-r--r-- | 233 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-report
|
| -rw-r--r-- | 233 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-rtegen
|
| -rw-r--r-- | 388 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-scope
|
| -rw-r--r-- | 474 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-security_slicing
|
| -rw-r--r-- | 436 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-slicing
|
| -rw-r--r-- | 273 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-sparecode
|
| -rw-r--r-- | 259 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-users
|
| -rw-r--r-- | 413 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-value
|
| -rw-r--r-- | 243 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-variadic
|
| -rw-r--r-- | 350 | root |
root |
/usr/lib/frama-c/plugins/META.frama-c-wp
|
| -rw-r--r-- | 188 | root |
root |
/usr/lib/frama-c/plugins/Metrics.cmi
|
| -rw-r--r-- | 188 | root |
root |
/usr/lib/frama-c/plugins/Nonterm.cmi
|
| -rw-r--r-- | 194 | root |
root |
/usr/lib/frama-c/plugins/Obfuscator.cmi
|
| -rw-r--r-- | 194 | root |
root |
/usr/lib/frama-c/plugins/Occurrence.cmi
|
| -rw-r--r-- | 3955 | root |
root |
/usr/lib/frama-c/plugins/Pdg.cmi
|
| -rw-r--r-- | 202 | root |
root |
/usr/lib/frama-c/plugins/Postdominators.cmi
|
| -rw-r--r-- | 192 | root |
root |
/usr/lib/frama-c/plugins/Print_api.cmi
|
| -rw-r--r-- | 186 | root |
root |
/usr/lib/frama-c/plugins/Report.cmi
|
| -rw-r--r-- | 186 | root |
root |
/usr/lib/frama-c/plugins/RteGen.cmi
|
| -rw-r--r-- | 184 | root |
root |
/usr/lib/frama-c/plugins/Scope.cmi
|
| -rw-r--r-- | 206 | root |
root |
/usr/lib/frama-c/plugins/Security_slicing.cmi
|
| -rw-r--r-- | 2842 | root |
root |
/usr/lib/frama-c/plugins/Slicing.cmi
|
| -rw-r--r-- | 192 | root |
root |
/usr/lib/frama-c/plugins/Sparecode.cmi
|
| -rw-r--r-- | 184 | root |
root |
/usr/lib/frama-c/plugins/Users.cmi
|
| -rw-r--r-- | 2350 | root |
root |
/usr/lib/frama-c/plugins/Value.cmi
|
| -rw-r--r-- | 190 | root |
root |
/usr/lib/frama-c/plugins/Variadic.cmi
|
| -rw-r--r-- | 208950 | root |
root |
/usr/lib/frama-c/plugins/Wp.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins/gui
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/frama-c/plugins/top
|
| -rw-r--r-- | 25540 | root |
root |
/usr/lib/frama-c/plugins/gui/Callgraph.cmi
|
| -rw-r--r-- | 229496 | root |
root |
/usr/lib/frama-c/plugins/gui/Callgraph.cmo
|
| -rwxr-xr-x | 62944 | root |
root |
/usr/lib/frama-c/plugins/gui/Callgraph.cmxs
|
| -rw-r--r-- | 182 | root |
root |
/usr/lib/frama-c/plugins/gui/From.cmi
|
| -rw-r--r-- | 262128 | root |
root |
/usr/lib/frama-c/plugins/gui/From.cmo
|
| -rwxr-xr-x | 82520 | root |
root |
/usr/lib/frama-c/plugins/gui/From.cmxs
|
| -rw-r--r-- | 186 | root |
root |
/usr/lib/frama-c/plugins/gui/Impact.cmi
|
| -rw-r--r-- | 403856 | root |
root |
/usr/lib/frama-c/plugins/gui/Impact.cmo
|
| -rwxr-xr-x | 140152 | root |
root |
/usr/lib/frama-c/plugins/gui/Impact.cmxs
|
| -rw-r--r-- | 188 | root |
root |
/usr/lib/frama-c/plugins/gui/Metrics.cmi
|
| -rw-r--r-- | 822249 | root |
root |
/usr/lib/frama-c/plugins/gui/Metrics.cmo
|
| -rwxr-xr-x | 267384 | root |
root |
/usr/lib/frama-c/plugins/gui/Metrics.cmxs
|
| -rw-r--r-- | 194 | root |
root |
/usr/lib/frama-c/plugins/gui/Occurrence.cmi
|
| -rw-r--r-- | 184913 | root |
root |
/usr/lib/frama-c/plugins/gui/Occurrence.cmo
|
| -rwxr-xr-x | 59364 | root |
root |
/usr/lib/frama-c/plugins/gui/Occurrence.cmxs
|
| -rw-r--r-- | 184 | root |
root |
/usr/lib/frama-c/plugins/gui/Scope.cmi
|
| -rw-r--r-- | 364442 | root |
root |
/usr/lib/frama-c/plugins/gui/Scope.cmo
|
| -rwxr-xr-x | 125096 | root |
root |
/usr/lib/frama-c/plugins/gui/Scope.cmxs
|
| -rw-r--r-- | 206 | root |
root |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmi
|
| -rw-r--r-- | 96034 | root |
root |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmo
|
| -rwxr-xr-x | 50624 | root |
root |
/usr/lib/frama-c/plugins/gui/Security_slicing.cmxs
|
| -rw-r--r-- | 2842 | root |
root |
/usr/lib/frama-c/plugins/gui/Slicing.cmi
|
| -rw-r--r-- | 1098144 | root |
root |
/usr/lib/frama-c/plugins/gui/Slicing.cmo
|
| -rwxr-xr-x | 421020 | root |
root |
/usr/lib/frama-c/plugins/gui/Slicing.cmxs
|
| -rw-r--r-- | 2350 | root |
root |
/usr/lib/frama-c/plugins/gui/Value.cmi
|
| -rw-r--r-- | 7399745 | root |
root |
/usr/lib/frama-c/plugins/gui/Value.cmo
|
| -rwxr-xr-x | 1900464 | root |
root |
/usr/lib/frama-c/plugins/gui/Value.cmxs
|
| -rw-r--r-- | 8478040 | root |
root |
/usr/lib/frama-c/plugins/gui/Wp.cma
|
| -rw-r--r-- | 208950 | root |
root |
/usr/lib/frama-c/plugins/gui/Wp.cmi
|
| -rwxr-xr-x | 2673824 | root |
root |
/usr/lib/frama-c/plugins/gui/Wp.cmxs
|
| -rw-r--r-- | 2113824 | root |
root |
/usr/lib/frama-c/plugins/top/Aorai.cmo
|
| -rw-r--r-- | 5557 | root |
root |
/usr/lib/frama-c/plugins/top/Aorai.cmx
|
| -rwxr-xr-x | 678784 | root |
root |
/usr/lib/frama-c/plugins/top/Aorai.cmxs
|
| -rw-r--r-- | 189192 | root |
root |
/usr/lib/frama-c/plugins/top/Callgraph.cmo
|
| -rw-r--r-- | 19356 | root |
root |
/usr/lib/frama-c/plugins/top/Callgraph.cmx
|
| -rwxr-xr-x | 49320 | root |
root |
/usr/lib/frama-c/plugins/top/Callgraph.cmxs
|
| -rw-r--r-- | 191844 | root |
root |
/usr/lib/frama-c/plugins/top/Constant_Propagation.cmo
|
| -rw-r--r-- | 3923 | root |
root |
/usr/lib/frama-c/plugins/top/Constant_Propagation.cmx
|
| -rwxr-xr-x | 46200 | root |
root |
/usr/lib/frama-c/plugins/top/Constant_Propagation.cmxs
|
| -rw-r--r-- | 256614 | root |
root |
/usr/lib/frama-c/plugins/top/From.cmo
|
| -rw-r--r-- | 4389 | root |
root |
/usr/lib/frama-c/plugins/top/From.cmx
|
| -rwxr-xr-x | 77916 | root |
root |
/usr/lib/frama-c/plugins/top/From.cmxs
|
| -rw-r--r-- | 334803 | root |
root |
/usr/lib/frama-c/plugins/top/Impact.cmo
|
| -rw-r--r-- | 4125 | root |
root |
/usr/lib/frama-c/plugins/top/Impact.cmx
|
| -rwxr-xr-x | 112352 | root |
root |
/usr/lib/frama-c/plugins/top/Impact.cmxs
|
| -rw-r--r-- | 693211 | root |
root |
/usr/lib/frama-c/plugins/top/Inout.cmo
|
| -rw-r--r-- | 4363 | root |
root |
/usr/lib/frama-c/plugins/top/Inout.cmx
|
| -rwxr-xr-x | 106768 | root |
root |
/usr/lib/frama-c/plugins/top/Inout.cmxs
|
| -rw-r--r-- | 281310 | root |
root |
/usr/lib/frama-c/plugins/top/LoopAnalysis.cmo
|
| -rw-r--r-- | 4053 | root |
root |
/usr/lib/frama-c/plugins/top/LoopAnalysis.cmx
|
| -rwxr-xr-x | 95172 | root |
root |
/usr/lib/frama-c/plugins/top/LoopAnalysis.cmxs
|
| -rw-r--r-- | 747912 | root |
root |
/usr/lib/frama-c/plugins/top/Metrics.cmo
|
| -rw-r--r-- | 4132 | root |
root |
/usr/lib/frama-c/plugins/top/Metrics.cmx
|
| -rwxr-xr-x | 227676 | root |
root |
/usr/lib/frama-c/plugins/top/Metrics.cmxs
|
| -rw-r--r-- | 195351 | root |
root |
/usr/lib/frama-c/plugins/top/Nonterm.cmo
|
| -rw-r--r-- | 3493 | root |
root |
/usr/lib/frama-c/plugins/top/Nonterm.cmx
|
| -rwxr-xr-x | 45052 | root |
root |
/usr/lib/frama-c/plugins/top/Nonterm.cmxs
|
| -rw-r--r-- | 145341 | root |
root |
/usr/lib/frama-c/plugins/top/Obfuscator.cmo
|
| -rw-r--r-- | 3964 | root |
root |
/usr/lib/frama-c/plugins/top/Obfuscator.cmx
|
| -rwxr-xr-x | 53516 | root |
root |
/usr/lib/frama-c/plugins/top/Obfuscator.cmxs
|
| -rw-r--r-- | 142089 | root |
root |
/usr/lib/frama-c/plugins/top/Occurrence.cmo
|
| -rw-r--r-- | 3475 | root |
root |
/usr/lib/frama-c/plugins/top/Occurrence.cmx
|
| -rwxr-xr-x | 37576 | root |
root |
/usr/lib/frama-c/plugins/top/Occurrence.cmxs
|
| -rw-r--r-- | 451892 | root |
root |
/usr/lib/frama-c/plugins/top/Pdg.cmo
|
| -rw-r--r-- | 4581 | root |
root |
/usr/lib/frama-c/plugins/top/Pdg.cmx
|
| -rwxr-xr-x | 172028 | root |
root |
/usr/lib/frama-c/plugins/top/Pdg.cmxs
|
| -rw-r--r-- | 75948 | root |
root |
/usr/lib/frama-c/plugins/top/Postdominators.cmo
|
| -rw-r--r-- | 3519 | root |
root |
/usr/lib/frama-c/plugins/top/Postdominators.cmx
|
| -rwxr-xr-x | 41728 | root |
root |
/usr/lib/frama-c/plugins/top/Postdominators.cmxs
|
| -rw-r--r-- | 81231 | root |
root |
/usr/lib/frama-c/plugins/top/Print_api.cmo
|
| -rw-r--r-- | 3379 | root |
root |
/usr/lib/frama-c/plugins/top/Print_api.cmx
|
| -rwxr-xr-x | 45828 | root |
root |
/usr/lib/frama-c/plugins/top/Print_api.cmxs
|
| -rw-r--r-- | 93189 | root |
root |
/usr/lib/frama-c/plugins/top/Report.cmo
|
| -rw-r--r-- | 3887 | root |
root |
/usr/lib/frama-c/plugins/top/Report.cmx
|
| -rwxr-xr-x | 57088 | root |
root |
/usr/lib/frama-c/plugins/top/Report.cmxs
|
| -rw-r--r-- | 401037 | root |
root |
/usr/lib/frama-c/plugins/top/RteGen.cmo
|
| -rw-r--r-- | 4140 | root |
root |
/usr/lib/frama-c/plugins/top/RteGen.cmx
|
| -rwxr-xr-x | 103964 | root |
root |
/usr/lib/frama-c/plugins/top/RteGen.cmxs
|
| -rw-r--r-- | 264802 | root |
root |
/usr/lib/frama-c/plugins/top/Scope.cmo
|
| -rw-r--r-- | 4183 | root |
root |
/usr/lib/frama-c/plugins/top/Scope.cmx
|
| -rwxr-xr-x | 88140 | root |
root |
/usr/lib/frama-c/plugins/top/Scope.cmxs
|
| -rw-r--r-- | 78705 | root |
root |
/usr/lib/frama-c/plugins/top/Security_slicing.cmo
|
| -rw-r--r-- | 3286 | root |
root |
/usr/lib/frama-c/plugins/top/Security_slicing.cmx
|
| -rwxr-xr-x | 42588 | root |
root |
/usr/lib/frama-c/plugins/top/Security_slicing.cmxs
|
| -rw-r--r-- | 981046 | root |
root |
/usr/lib/frama-c/plugins/top/Slicing.cmo
|
| -rw-r--r-- | 4777 | root |
root |
/usr/lib/frama-c/plugins/top/Slicing.cmx
|
| -rwxr-xr-x | 369316 | root |
root |
/usr/lib/frama-c/plugins/top/Slicing.cmxs
|
| -rw-r--r-- | 370988 | root |
root |
/usr/lib/frama-c/plugins/top/Sparecode.cmo
|
| -rw-r--r-- | 4157 | root |
root |
/usr/lib/frama-c/plugins/top/Sparecode.cmx
|
| -rwxr-xr-x | 79884 | root |
root |
/usr/lib/frama-c/plugins/top/Sparecode.cmxs
|
| -rw-r--r-- | 77434 | root |
root |
/usr/lib/frama-c/plugins/top/Users.cmo
|
| -rw-r--r-- | 3248 | root |
root |
/usr/lib/frama-c/plugins/top/Users.cmx
|
| -rwxr-xr-x | 18004 | root |
root |
/usr/lib/frama-c/plugins/top/Users.cmxs
|
| -rw-r--r-- | 6998470 | root |
root |
/usr/lib/frama-c/plugins/top/Value.cmo
|
| -rw-r--r-- | 8928 | root |
root |
/usr/lib/frama-c/plugins/top/Value.cmx
|
| -rwxr-xr-x | 1757400 | root |
root |
/usr/lib/frama-c/plugins/top/Value.cmxs
|
| -rw-r--r-- | 558321 | root |
root |
/usr/lib/frama-c/plugins/top/Variadic.cmo
|
| -rw-r--r-- | 2728 | root |
root |
/usr/lib/frama-c/plugins/top/Variadic.cmx
|
| -rwxr-xr-x | 175448 | root |
root |
/usr/lib/frama-c/plugins/top/Variadic.cmxs
|
| -rw-r--r-- | 8206550 | root |
root |
/usr/lib/frama-c/plugins/top/Wp.cma
|
| -rw-r--r-- | 132817 | root |
root |
/usr/lib/frama-c/plugins/top/Wp.cmx
|
| -rw-r--r-- | 8005 | root |
root |
/usr/lib/frama-c/plugins/top/Wp.cmxa
|
| -rwxr-xr-x | 2549204 | root |
root |
/usr/lib/frama-c/plugins/top/Wp.cmxs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c
|
| -rw-r--r-- | 1697 | root |
root |
/usr/share/appdata/frama-c-gui.appdata.xml
|
| -rw-r--r-- | 220 | root |
root |
/usr/share/applications/frama-c-gui.desktop
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/frama-c
|
| -rw-r--r-- | 17 | root |
root |
/usr/share/doc/frama-c/VERSION
|
| -rw-r--r-- | 8672 | root |
root |
/usr/share/frama-c/Makefile.common
|
| -rw-r--r-- | 6394 | root |
root |
/usr/share/frama-c/Makefile.config
|
| -rw-r--r-- | 10624 | root |
root |
/usr/share/frama-c/Makefile.dynamic
|
| -rw-r--r-- | 2198 | root |
root |
/usr/share/frama-c/Makefile.dynamic_config
|
| -rw-r--r-- | 4163 | root |
root |
/usr/share/frama-c/Makefile.generic
|
| -rw-r--r-- | 37520 | root |
root |
/usr/share/frama-c/Makefile.kernel
|
| -rw-r--r-- | 37008 | root |
root |
/usr/share/frama-c/Makefile.plugin.template
|
| -rw-r--r-- | 1663 | root |
root |
/usr/share/frama-c/builtin.h
|
| -rw-r--r-- | 19980 | root |
root |
/usr/share/frama-c/configure.ac
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/doc
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/emacs
|
| -rw-r--r-- | 90278 | root |
root |
/usr/share/frama-c/frama-c.ico
|
| -rw-r--r-- | 6202 | root |
root |
/usr/share/frama-c/frama-c.png
|
| -rw-r--r-- | 2378 | root |
root |
/usr/share/frama-c/frama-c.rc
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/libc
|
| -rw-r--r-- | 1621 | root |
root |
/usr/share/frama-c/libc.c
|
| -rw-r--r-- | 11053 | root |
root |
/usr/share/frama-c/machdep.c
|
| -rw-r--r-- | 3412 | root |
root |
/usr/share/frama-c/switch-off.png
|
| -rw-r--r-- | 3322 | root |
root |
/usr/share/frama-c/switch-on.png
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/theme
|
| -rw-r--r-- | 980 | root |
root |
/usr/share/frama-c/unmark.png
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/doc/code
|
| -rw-r--r-- | 14778 | root |
root |
/usr/share/frama-c/doc/code/docgen.ml
|
| -rw-r--r-- | 2065 | root |
root |
/usr/share/frama-c/doc/code/intro_kernel_plugin.txt
|
| -rw-r--r-- | 2221 | root |
root |
/usr/share/frama-c/doc/code/intro_plugin.txt
|
| -rw-r--r-- | 2146 | root |
root |
/usr/share/frama-c/doc/code/intro_plugin_default.txt
|
| -rw-r--r-- | 5490 | root |
root |
/usr/share/frama-c/doc/code/style.css
|
| -rw-r--r-- | 2028 | root |
root |
/usr/share/frama-c/doc/code/toc_head.htm
|
| -rw-r--r-- | 1812 | root |
root |
/usr/share/frama-c/doc/code/toc_tail.htm
|
| -rw-r--r-- | 3980 | root |
root |
/usr/share/frama-c/emacs/frama-c-dev.el
|
| -rw-r--r-- | 3187 | root |
root |
/usr/share/frama-c/emacs/frama-c-init.el
|
| -rw-r--r-- | 5313 | root |
root |
/usr/share/frama-c/emacs/frama-c-recommended.el
|
| -rw-r--r-- | 2741 | root |
root |
/usr/share/frama-c/libc/__fc_builtin.c
|
| -rw-r--r-- | 6767 | root |
root |
/usr/share/frama-c/libc/__fc_builtin.h
|
| -rw-r--r-- | 2576 | root |
root |
/usr/share/frama-c/libc/__fc_builtin_for_normalization.i
|
| -rw-r--r-- | 1719 | root |
root |
/usr/share/frama-c/libc/__fc_define_blkcnt_t.h
|
| -rw-r--r-- | 1769 | root |
root |
/usr/share/frama-c/libc/__fc_define_blksize_t.h
|
| -rw-r--r-- | 1757 | root |
root |
/usr/share/frama-c/libc/__fc_define_dev_t.h
|
| -rw-r--r-- | 1771 | root |
root |
/usr/share/frama-c/libc/__fc_define_eof.h
|
| -rw-r--r-- | 2070 | root |
root |
/usr/share/frama-c/libc/__fc_define_fd_set_t.h
|
| -rw-r--r-- | 1904 | root |
root |
/usr/share/frama-c/libc/__fc_define_file.h
|
| -rw-r--r-- | 1829 | root |
root |
/usr/share/frama-c/libc/__fc_define_fpos_t.h
|
| -rw-r--r-- | 1754 | root |
root |
/usr/share/frama-c/libc/__fc_define_id_t.h
|
| -rw-r--r-- | 1757 | root |
root |
/usr/share/frama-c/libc/__fc_define_ino_t.h
|
| -rw-r--r-- | 1819 | root |
root |
/usr/share/frama-c/libc/__fc_define_intptr_t.h
|
| -rw-r--r-- | 1818 | root |
root |
/usr/share/frama-c/libc/__fc_define_iovec.h
|
| -rw-r--r-- | 2843 | root |
root |
/usr/share/frama-c/libc/__fc_define_mode_t.h
|
| -rw-r--r-- | 1763 | root |
root |
/usr/share/frama-c/libc/__fc_define_nlink_t.h
|
| -rw-r--r-- | 1762 | root |
root |
/usr/share/frama-c/libc/__fc_define_null.h
|
| -rw-r--r-- | 1806 | root |
root |
/usr/share/frama-c/libc/__fc_define_off_t.h
|
| -rw-r--r-- | 1758 | root |
root |
/usr/share/frama-c/libc/__fc_define_pid_t.h
|
| -rw-r--r-- | 1804 | root |
root |
/usr/share/frama-c/libc/__fc_define_sa_family_t.h
|
| -rw-r--r-- | 1902 | root |
root |
/usr/share/frama-c/libc/__fc_define_seek_macros.h
|
| -rw-r--r-- | 1767 | root |
root |
/usr/share/frama-c/libc/__fc_define_sigset_t.h
|
| -rw-r--r-- | 1782 | root |
root |
/usr/share/frama-c/libc/__fc_define_size_t.h
|
| -rw-r--r-- | 1905 | root |
root |
/usr/share/frama-c/libc/__fc_define_sockaddr.h
|
| -rw-r--r-- | 1786 | root |
root |
/usr/share/frama-c/libc/__fc_define_ssize_t.h
|
| -rw-r--r-- | 2678 | root |
root |
/usr/share/frama-c/libc/__fc_define_stat.h
|
| -rw-r--r-- | 1772 | root |
root |
/usr/share/frama-c/libc/__fc_define_suseconds_t.h
|
| -rw-r--r-- | 1755 | root |
root |
/usr/share/frama-c/libc/__fc_define_time_t.h
|
| -rw-r--r-- | 1792 | root |
root |
/usr/share/frama-c/libc/__fc_define_timespec.h
|
| -rw-r--r-- | 1797 | root |
root |
/usr/share/frama-c/libc/__fc_define_uid_and_gid.h
|
| -rw-r--r-- | 1772 | root |
root |
/usr/share/frama-c/libc/__fc_define_useconds_t.h
|
| -rw-r--r-- | 1868 | root |
root |
/usr/share/frama-c/libc/__fc_define_wchar_t.h
|
| -rw-r--r-- | 1781 | root |
root |
/usr/share/frama-c/libc/__fc_define_wint_t.h
|
| -rw-r--r-- | 8367 | root |
root |
/usr/share/frama-c/libc/__fc_machdep.h
|
| -rw-r--r-- | 7388 | root |
root |
/usr/share/frama-c/libc/__fc_machdep_linux_gcc_shared.h
|
| -rw-r--r-- | 2316 | root |
root |
/usr/share/frama-c/libc/__fc_select.h
|
| -rw-r--r-- | 9125 | root |
root |
/usr/share/frama-c/libc/__fc_string_axiomatic.h
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/libc/arpa
|
| -rw-r--r-- | 1892 | root |
root |
/usr/share/frama-c/libc/assert.c
|
| -rw-r--r-- | 1992 | root |
root |
/usr/share/frama-c/libc/assert.h
|
| -rw-r--r-- | 5456 | root |
root |
/usr/share/frama-c/libc/byteswap.h
|
| -rw-r--r-- | 1756 | root |
root |
/usr/share/frama-c/libc/complex.h
|
| -rw-r--r-- | 3198 | root |
root |
/usr/share/frama-c/libc/ctype.c
|
| -rw-r--r-- | 7845 | root |
root |
/usr/share/frama-c/libc/ctype.h
|
| -rw-r--r-- | 4561 | root |
root |
/usr/share/frama-c/libc/dirent.h
|
| -rw-r--r-- | 1917 | root |
root |
/usr/share/frama-c/libc/dlfcn.h
|
| -rw-r--r-- | 2653 | root |
root |
/usr/share/frama-c/libc/endian.h
|
| -rw-r--r-- | 1661 | root |
root |
/usr/share/frama-c/libc/errno.c
|
| -rw-r--r-- | 5581 | root |
root |
/usr/share/frama-c/libc/errno.h
|
| -rw-r--r-- | 1889 | root |
root |
/usr/share/frama-c/libc/fc_runtime.c
|
| -rw-r--r-- | 6476 | root |
root |
/usr/share/frama-c/libc/fcntl.h
|
| -rw-r--r-- | 3461 | root |
root |
/usr/share/frama-c/libc/features.h
|
| -rw-r--r-- | 1704 | root |
root |
/usr/share/frama-c/libc/fenv.h
|
| -rw-r--r-- | 2707 | root |
root |
/usr/share/frama-c/libc/float.h
|
| -rw-r--r-- | 1658 | root |
root |
/usr/share/frama-c/libc/getopt.c
|
| -rw-r--r-- | 2742 | root |
root |
/usr/share/frama-c/libc/getopt.h
|
| -rw-r--r-- | 3346 | root |
root |
/usr/share/frama-c/libc/glob.h
|
| -rw-r--r-- | 2227 | root |
root |
/usr/share/frama-c/libc/grp.h
|
| -rw-r--r-- | 2287 | root |
root |
/usr/share/frama-c/libc/iconv.h
|
| -rw-r--r-- | 2259 | root |
root |
/usr/share/frama-c/libc/ifaddrs.h
|
| -rw-r--r-- | 1845 | root |
root |
/usr/share/frama-c/libc/inttypes.c
|
| -rw-r--r-- | 8593 | root |
root |
/usr/share/frama-c/libc/inttypes.h
|
| -rw-r--r-- | 1881 | root |
root |
/usr/share/frama-c/libc/iso646.h
|
| -rw-r--r-- | 1621 | root |
root |
/usr/share/frama-c/libc/libgen.h
|
| -rw-r--r-- | 1675 | root |
root |
/usr/share/frama-c/libc/libintl.h
|
| -rw-r--r-- | 3360 | root |
root |
/usr/share/frama-c/libc/limits.h
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/libc/linux
|
| -rw-r--r-- | 2171 | root |
root |
/usr/share/frama-c/libc/locale.c
|
| -rw-r--r-- | 5231 | root |
root |
/usr/share/frama-c/libc/locale.h
|
| -rw-r--r-- | 2326 | root |
root |
/usr/share/frama-c/libc/math.c
|
| -rw-r--r-- | 12487 | root |
root |
/usr/share/frama-c/libc/math.h
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/libc/net
|
| -rw-r--r-- | 5769 | root |
root |
/usr/share/frama-c/libc/netdb.h
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/libc/netinet
|
| -rw-r--r-- | 1946 | root |
root |
/usr/share/frama-c/libc/nl_types.h
|
| -rw-r--r-- | 2264 | root |
root |
/usr/share/frama-c/libc/pwd.h
|
| -rw-r--r-- | 2618 | root |
root |
/usr/share/frama-c/libc/regex.h
|
| -rw-r--r-- | 2312 | root |
root |
/usr/share/frama-c/libc/setjmp.h
|
| -rw-r--r-- | 4202 | root |
root |
/usr/share/frama-c/libc/signal.h
|
| -rw-r--r-- | 1984 | root |
root |
/usr/share/frama-c/libc/stdarg.h
|
| -rw-r--r-- | 1760 | root |
root |
/usr/share/frama-c/libc/stdbool.h
|
| -rw-r--r-- | 1989 | root |
root |
/usr/share/frama-c/libc/stddef.h
|
| -rw-r--r-- | 4101 | root |
root |
/usr/share/frama-c/libc/stdint.h
|
| -rw-r--r-- | 1910 | root |
root |
/usr/share/frama-c/libc/stdio.c
|
| -rw-r--r-- | 9956 | root |
root |
/usr/share/frama-c/libc/stdio.h
|
| -rw-r--r-- | 3171 | root |
root |
/usr/share/frama-c/libc/stdlib.c
|
| -rw-r--r-- | 10393 | root |
root |
/usr/share/frama-c/libc/stdlib.h
|
| -rw-r--r-- | 7290 | root |
root |
/usr/share/frama-c/libc/string.c
|
| -rw-r--r-- | 11808 | root |
root |
/usr/share/frama-c/libc/string.h
|
| -rw-r--r-- | 2174 | root |
root |
/usr/share/frama-c/libc/strings.h
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/libc/sys
|
| -rw-r--r-- | 5485 | root |
root |
/usr/share/frama-c/libc/syslog.h
|
| -rw-r--r-- | 6180 | root |
root |
/usr/share/frama-c/libc/termios.h
|
| -rw-r--r-- | 1707 | root |
root |
/usr/share/frama-c/libc/tgmath.h
|
| -rw-r--r-- | 4179 | root |
root |
/usr/share/frama-c/libc/time.h
|
| -rw-r--r-- | 1685 | root |
root |
/usr/share/frama-c/libc/uchar.h
|
| -rw-r--r-- | 30943 | root |
root |
/usr/share/frama-c/libc/unistd.h
|
| -rw-r--r-- | 2961 | root |
root |
/usr/share/frama-c/libc/wchar.c
|
| -rw-r--r-- | 6332 | root |
root |
/usr/share/frama-c/libc/wchar.h
|
| -rw-r--r-- | 2282 | root |
root |
/usr/share/frama-c/libc/wctype.h
|
| -rw-r--r-- | 2547 | root |
root |
/usr/share/frama-c/libc/arpa/inet.h
|
| -rw-r--r-- | 1689 | root |
root |
/usr/share/frama-c/libc/linux/fs.h
|
| -rw-r--r-- | 1687 | root |
root |
/usr/share/frama-c/libc/linux/if_addr.h
|
| -rw-r--r-- | 1687 | root |
root |
/usr/share/frama-c/libc/linux/if_netlink.h
|
| -rw-r--r-- | 1689 | root |
root |
/usr/share/frama-c/libc/linux/netlink.h
|
| -rw-r--r-- | 1693 | root |
root |
/usr/share/frama-c/libc/linux/rtnetlink.h
|
| -rw-r--r-- | 6825 | root |
root |
/usr/share/frama-c/libc/net/if.h
|
| -rw-r--r-- | 11609 | root |
root |
/usr/share/frama-c/libc/netinet/in.h
|
| -rw-r--r-- | 1687 | root |
root |
/usr/share/frama-c/libc/netinet/in_systm.h
|
| -rw-r--r-- | 1681 | root |
root |
/usr/share/frama-c/libc/netinet/ip.h
|
| -rw-r--r-- | 1692 | root |
root |
/usr/share/frama-c/libc/netinet/ip_icmp.h
|
| -rw-r--r-- | 5168 | root |
root |
/usr/share/frama-c/libc/sys/ioctl.h
|
| -rw-r--r-- | 1788 | root |
root |
/usr/share/frama-c/libc/sys/param.h
|
| -rw-r--r-- | 2929 | root |
root |
/usr/share/frama-c/libc/sys/resource.h
|
| -rw-r--r-- | 1711 | root |
root |
/usr/share/frama-c/libc/sys/select.h
|
| -rw-r--r-- | 11182 | root |
root |
/usr/share/frama-c/libc/sys/socket.h
|
| -rw-r--r-- | 2033 | root |
root |
/usr/share/frama-c/libc/sys/stat.h
|
| -rw-r--r-- | 1621 | root |
root |
/usr/share/frama-c/libc/sys/sysctl.h
|
| -rw-r--r-- | 3375 | root |
root |
/usr/share/frama-c/libc/sys/time.h
|
| -rw-r--r-- | 1923 | root |
root |
/usr/share/frama-c/libc/sys/times.h
|
| -rw-r--r-- | 2324 | root |
root |
/usr/share/frama-c/libc/sys/types.h
|
| -rw-r--r-- | 2240 | root |
root |
/usr/share/frama-c/libc/sys/uio.h
|
| -rw-r--r-- | 1880 | root |
root |
/usr/share/frama-c/libc/sys/un.h
|
| -rw-r--r-- | 2215 | root |
root |
/usr/share/frama-c/libc/sys/wait.h
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/theme/colorblind
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/theme/default
|
| -rw-r--r-- | 231 | root |
root |
/usr/share/frama-c/theme/colorblind/considered_valid.png
|
| -rw-r--r-- | 150 | root |
root |
/usr/share/frama-c/theme/colorblind/inconsistent.png
|
| -rw-r--r-- | 233 | root |
root |
/usr/share/frama-c/theme/colorblind/invalid_but_dead.png
|
| -rw-r--r-- | 226 | root |
root |
/usr/share/frama-c/theme/colorblind/invalid_under_hyp.png
|
| -rw-r--r-- | 169 | root |
root |
/usr/share/frama-c/theme/colorblind/never_tried.png
|
| -rw-r--r-- | 232 | root |
root |
/usr/share/frama-c/theme/colorblind/surely_invalid.png
|
| -rw-r--r-- | 224 | root |
root |
/usr/share/frama-c/theme/colorblind/surely_valid.png
|
| -rw-r--r-- | 219 | root |
root |
/usr/share/frama-c/theme/colorblind/unknown.png
|
| -rw-r--r-- | 228 | root |
root |
/usr/share/frama-c/theme/colorblind/unknown_but_dead.png
|
| -rw-r--r-- | 230 | root |
root |
/usr/share/frama-c/theme/colorblind/valid_but_dead.png
|
| -rw-r--r-- | 228 | root |
root |
/usr/share/frama-c/theme/colorblind/valid_under_hyp.png
|
| -rw-r--r-- | 1618 | root |
root |
/usr/share/frama-c/theme/default/considered_valid.png
|
| -rw-r--r-- | 1524 | root |
root |
/usr/share/frama-c/theme/default/inconsistent.png
|
| -rw-r--r-- | 1587 | root |
root |
/usr/share/frama-c/theme/default/invalid_but_dead.png
|
| -rw-r--r-- | 1594 | root |
root |
/usr/share/frama-c/theme/default/invalid_under_hyp.png
|
| -rw-r--r-- | 1524 | root |
root |
/usr/share/frama-c/theme/default/never_tried.png
|
| -rw-r--r-- | 1555 | root |
root |
/usr/share/frama-c/theme/default/surely_invalid.png
|
| -rw-r--r-- | 1584 | root |
root |
/usr/share/frama-c/theme/default/surely_valid.png
|
| -rw-r--r-- | 1560 | root |
root |
/usr/share/frama-c/theme/default/unknown.png
|
| -rw-r--r-- | 1591 | root |
root |
/usr/share/frama-c/theme/default/unknown_but_dead.png
|
| -rw-r--r-- | 1594 | root |
root |
/usr/share/frama-c/theme/default/valid_but_dead.png
|
| -rw-r--r-- | 1635 | root |
root |
/usr/share/frama-c/theme/default/valid_under_hyp.png
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/coqwp
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/ergo
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/why3
|
| -rw-r--r-- | 5127 | root |
root |
/usr/share/frama-c/wp/wp.driver
|
| -rw-r--r-- | 42516 | root |
root |
/usr/share/frama-c/wp/coqwp/Bits.v
|
| -rw-r--r-- | 195764 | root |
root |
/usr/share/frama-c/wp/coqwp/Bits.vo
|
| -rw-r--r-- | 1731 | root |
root |
/usr/share/frama-c/wp/coqwp/BuiltIn.v
|
| -rw-r--r-- | 33334 | root |
root |
/usr/share/frama-c/wp/coqwp/BuiltIn.vo
|
| -rw-r--r-- | 51907 | root |
root |
/usr/share/frama-c/wp/coqwp/Cbits.v
|
| -rw-r--r-- | 196954 | root |
root |
/usr/share/frama-c/wp/coqwp/Cbits.vo
|
| -rw-r--r-- | 5698 | root |
root |
/usr/share/frama-c/wp/coqwp/Cfloat.v
|
| -rw-r--r-- | 41890 | root |
root |
/usr/share/frama-c/wp/coqwp/Cfloat.vo
|
| -rw-r--r-- | 24690 | root |
root |
/usr/share/frama-c/wp/coqwp/Cint.v
|
| -rw-r--r-- | 139893 | root |
root |
/usr/share/frama-c/wp/coqwp/Cint.vo
|
| -rw-r--r-- | 2702 | root |
root |
/usr/share/frama-c/wp/coqwp/Cmath.v
|
| -rw-r--r-- | 30868 | root |
root |
/usr/share/frama-c/wp/coqwp/Cmath.vo
|
| -rw-r--r-- | 10160 | root |
root |
/usr/share/frama-c/wp/coqwp/Memory.v
|
| -rw-r--r-- | 105440 | root |
root |
/usr/share/frama-c/wp/coqwp/Memory.vo
|
| -rw-r--r-- | 7965 | root |
root |
/usr/share/frama-c/wp/coqwp/Qed.v
|
| -rw-r--r-- | 44595 | root |
root |
/usr/share/frama-c/wp/coqwp/Qed.vo
|
| -rw-r--r-- | 10373 | root |
root |
/usr/share/frama-c/wp/coqwp/Qedlib.v
|
| -rw-r--r-- | 92142 | root |
root |
/usr/share/frama-c/wp/coqwp/Qedlib.vo
|
| -rw-r--r-- | 17058 | root |
root |
/usr/share/frama-c/wp/coqwp/Vlist.v
|
| -rw-r--r-- | 122777 | root |
root |
/usr/share/frama-c/wp/coqwp/Vlist.vo
|
| -rw-r--r-- | 5182 | root |
root |
/usr/share/frama-c/wp/coqwp/Vset.v
|
| -rw-r--r-- | 34925 | root |
root |
/usr/share/frama-c/wp/coqwp/Vset.vo
|
| -rw-r--r-- | 70288 | root |
root |
/usr/share/frama-c/wp/coqwp/Zbits.v
|
| -rw-r--r-- | 372599 | root |
root |
/usr/share/frama-c/wp/coqwp/Zbits.vo
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/coqwp/bool
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/coqwp/int
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/coqwp/map
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/frama-c/wp/coqwp/real
|
| -rw-r--r-- | 1824 | root |
root |
/usr/share/frama-c/wp/coqwp/bool/Bool.v
|
| -rw-r--r-- | 28186 | root |
root |
/usr/share/frama-c/wp/coqwp/bool/Bool.vo
|
| -rw-r--r-- | 1508 | root |
root |
/usr/share/frama-c/wp/coqwp/int/Abs.v
|
| -rw-r--r-- | 35252 | root |
root |
/usr/share/frama-c/wp/coqwp/int/Abs.vo
|
| -rw-r--r-- | 4673 | root |
root |
/usr/share/frama-c/wp/coqwp/int/ComputerDivision.v
|
| -rw-r--r-- | 66740 | root |
root |
/usr/share/frama-c/wp/coqwp/int/ComputerDivision.vo
|
| -rw-r--r-- | 3787 | root |
root |
/usr/share/frama-c/wp/coqwp/int/Int.v
|
| -rw-r--r-- | 33217 | root |
root |
/usr/share/frama-c/wp/coqwp/int/Int.vo
|
| -rw-r--r-- | 2477 | root |
root |
/usr/share/frama-c/wp/coqwp/int/MinMax.v
|
| -rw-r--r-- | 30390 | root |
root |
/usr/share/frama-c/wp/coqwp/int/MinMax.vo
|
| -rw-r--r-- | 2652 | root |
root |
/usr/share/frama-c/wp/coqwp/map/Map.v
|
| -rw-r--r-- | 35607 | root |
root |
/usr/share/frama-c/wp/coqwp/map/Map.vo
|
| -rw-r--r-- | 2677 | root |
root |
/usr/share/frama-c/wp/coqwp/real/Abs.v
|
| -rw-r--r-- | 31021 | root |
root |
/usr/share/frama-c/wp/coqwp/real/Abs.vo
|
| -rw-r--r-- | 1717 | root |
root |
/usr/share/frama-c/wp/coqwp/real/FromInt.v
|
| -rw-r--r-- | 28215 | root |
root |
/usr/share/frama-c/wp/coqwp/real/FromInt.vo
|
| -rw-r--r-- | 3480 | root |
root |
/usr/share/frama-c/wp/coqwp/real/MinMax.v
|
| -rw-r--r-- | 30600 | root |
root |
/usr/share/frama-c/wp/coqwp/real/MinMax.vo
|
| -rw-r--r-- | 5181 | root |
root |
/usr/share/frama-c/wp/coqwp/real/Real.v
|
| -rw-r--r-- | 40485 | root |
root |
/usr/share/frama-c/wp/coqwp/real/Real.vo
|
| -rw-r--r-- | 863 | root |
root |
/usr/share/frama-c/wp/coqwp/real/RealInfix.v
|
| -rw-r--r-- | 26137 | root |
root |
/usr/share/frama-c/wp/coqwp/real/RealInfix.vo
|
| -rw-r--r-- | 1939 | root |
root |
/usr/share/frama-c/wp/coqwp/real/Square.v
|
| -rw-r--r-- | 30828 | root |
root |
/usr/share/frama-c/wp/coqwp/real/Square.vo
|
| -rw-r--r-- | 18750 | root |
root |
/usr/share/frama-c/wp/ergo/Cbits.mlw
|
| -rw-r--r-- | 6663 | root |
root |
/usr/share/frama-c/wp/ergo/Cfloat.mlw
|
| -rw-r--r-- | 7051 | root |
root |
/usr/share/frama-c/wp/ergo/Cint.mlw
|
| -rw-r--r-- | 2480 | root |
root |
/usr/share/frama-c/wp/ergo/Cmath.mlw
|
| -rw-r--r-- | 7427 | root |
root |
/usr/share/frama-c/wp/ergo/Memory.mlw
|
| -rw-r--r-- | 6261 | root |
root |
/usr/share/frama-c/wp/ergo/Qed.mlw
|
| -rw-r--r-- | 5083 | root |
root |
/usr/share/frama-c/wp/ergo/Vlist.mlw
|
| -rw-r--r-- | 5535 | root |
root |
/usr/share/frama-c/wp/ergo/Vset.mlw
|
| -rw-r--r-- | 1491 | root |
root |
/usr/share/frama-c/wp/ergo/bool.Bool.mlw
|
| -rw-r--r-- | 1703 | root |
root |
/usr/share/frama-c/wp/ergo/int.Abs.mlw
|
| -rw-r--r-- | 2474 | root |
root |
/usr/share/frama-c/wp/ergo/int.ComputerDivision.mlw
|
| -rw-r--r-- | 1223 | root |
root |
/usr/share/frama-c/wp/ergo/int.Int.mlw
|
| -rw-r--r-- | 2203 | root |
root |
/usr/share/frama-c/wp/ergo/int.MinMax.mlw
|
| -rw-r--r-- | 1167 | root |
root |
/usr/share/frama-c/wp/ergo/map.Map.mlw
|
| -rw-r--r-- | 2084 | root |
root |
/usr/share/frama-c/wp/ergo/real.Abs.mlw
|
| -rw-r--r-- | 1732 | root |
root |
/usr/share/frama-c/wp/ergo/real.FromInt.mlw
|
| -rw-r--r-- | 2257 | root |
root |
/usr/share/frama-c/wp/ergo/real.MinMax.mlw
|
| -rw-r--r-- | 1999 | root |
root |
/usr/share/frama-c/wp/ergo/real.Real.mlw
|
| -rw-r--r-- | 1225 | root |
root |
/usr/share/frama-c/wp/ergo/real.RealInfix.mlw
|
| -rw-r--r-- | 1742 | root |
root |
/usr/share/frama-c/wp/ergo/real.Square.mlw
|
| -rw-r--r-- | 42516 | root |
root |
/usr/share/frama-c/wp/why3/Bits.v
|
| -rw-r--r-- | 195800 | root |
root |
/usr/share/frama-c/wp/why3/Bits.vo
|
| -rw-r--r-- | 51907 | root |
root |
/usr/share/frama-c/wp/why3/Cbits.v
|
| -rw-r--r-- | 197068 | root |
root |
/usr/share/frama-c/wp/why3/Cbits.vo
|
| -rw-r--r-- | 16422 | root |
root |
/usr/share/frama-c/wp/why3/Cbits.why
|
| -rw-r--r-- | 5698 | root |
root |
/usr/share/frama-c/wp/why3/Cfloat.v
|
| -rw-r--r-- | 42612 | root |
root |
/usr/share/frama-c/wp/why3/Cfloat.vo
|
| -rw-r--r-- | 5134 | root |
root |
/usr/share/frama-c/wp/why3/Cfloat.why
|
| -rw-r--r-- | 24690 | root |
root |
/usr/share/frama-c/wp/why3/Cint.v
|
| -rw-r--r-- | 139947 | root |
root |
/usr/share/frama-c/wp/why3/Cint.vo
|
| -rw-r--r-- | 6116 | root |
root |
/usr/share/frama-c/wp/why3/Cint.why
|
| -rw-r--r-- | 2702 | root |
root |
/usr/share/frama-c/wp/why3/Cmath.v
|
| -rw-r--r-- | 31602 | root |
root |
/usr/share/frama-c/wp/why3/Cmath.vo
|
| -rw-r--r-- | 2173 | root |
root |
/usr/share/frama-c/wp/why3/Cmath.why
|
| -rw-r--r-- | 10160 | root |
root |
/usr/share/frama-c/wp/why3/Memory.v
|
| -rw-r--r-- | 105524 | root |
root |
/usr/share/frama-c/wp/why3/Memory.vo
|
| -rw-r--r-- | 6119 | root |
root |
/usr/share/frama-c/wp/why3/Memory.why
|
| -rw-r--r-- | 7965 | root |
root |
/usr/share/frama-c/wp/why3/Qed.v
|
| -rw-r--r-- | 45374 | root |
root |
/usr/share/frama-c/wp/why3/Qed.vo
|
| -rw-r--r-- | 4968 | root |
root |
/usr/share/frama-c/wp/why3/Qed.why
|
| -rw-r--r-- | 10373 | root |
root |
/usr/share/frama-c/wp/why3/Qedlib.v
|
| -rw-r--r-- | 92219 | root |
root |
/usr/share/frama-c/wp/why3/Qedlib.vo
|
| -rw-r--r-- | 17058 | root |
root |
/usr/share/frama-c/wp/why3/Vlist.v
|
| -rw-r--r-- | 122949 | root |
root |
/usr/share/frama-c/wp/why3/Vlist.vo
|
| -rw-r--r-- | 4519 | root |
root |
/usr/share/frama-c/wp/why3/Vlist.why
|
| -rw-r--r-- | 5182 | root |
root |
/usr/share/frama-c/wp/why3/Vset.v
|
| -rw-r--r-- | 35633 | root |
root |
/usr/share/frama-c/wp/why3/Vset.vo
|
| -rw-r--r-- | 3745 | root |
root |
/usr/share/frama-c/wp/why3/Vset.why
|
| -rw-r--r-- | 70288 | root |
root |
/usr/share/frama-c/wp/why3/Zbits.v
|
| -rw-r--r-- | 372635 | root |
root |
/usr/share/frama-c/wp/why3/Zbits.vo
|
| -rw-r--r-- | 2220 | root |
root |
/usr/share/frama-c/wp/why3/coq.drv
|
| -rw-r--r-- | 328 | root |
root |
/usr/share/frama-c/wp/why3/why3.conf
|
| -rw-r--r-- | 6216 | root |
root |
/usr/share/icons/hicolor/128x128/apps/frama-c.png
|
| -rw-r--r-- | 580 | root |
root |
/usr/share/icons/hicolor/22x22/apps/frama-c.png
|
| -rw-r--r-- | 632 | root |
root |
/usr/share/icons/hicolor/24x24/apps/frama-c.png
|
| -rw-r--r-- | 18494 | root |
root |
/usr/share/icons/hicolor/256x256/apps/frama-c.png
|
| -rw-r--r-- | 962 | root |
root |
/usr/share/icons/hicolor/32x32/apps/frama-c.png
|
| -rw-r--r-- | 1421 | root |
root |
/usr/share/icons/hicolor/48x48/apps/frama-c.png
|
| -rw-r--r-- | 2226 | root |
root |
/usr/share/icons/hicolor/64x64/apps/frama-c.png
|
| -rw-r--r-- | 3844 | root |
root |
/usr/share/icons/hicolor/96x96/apps/frama-c.png
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/licenses/frama-c
|
| -rw-r--r-- | 35147 | root |
root |
/usr/share/licenses/frama-c/GPLv3
|
| -rw-r--r-- | 25383 | root |
root |
/usr/share/licenses/frama-c/LGPLv2
|
| -rw-r--r-- | 24382 | root |
root |
/usr/share/licenses/frama-c/LGPLv2.1
|
| -rw-r--r-- | 7639 | root |
root |
/usr/share/licenses/frama-c/LGPLv3
|
| -rw-r--r-- | 31742 | root |
root |
/usr/share/licenses/frama-c/Q_MODIFIED_LICENSE
|
| -rw-r--r-- | 6516 | root |
root |
/usr/share/man/man1/frama-c-gui.1.xz
|
| -rw-r--r-- | 6516 | root |
root |
/usr/share/man/man1/frama-c.1.xz
|
