Look up function:
FREE SOFTWARE ON CAMLCITY.ORG
Modular C static analyser
Frama-C stands for FRAmework for Modular Analysis of C. It provides a generic framework (based on the CIL library) for building static analyzers for C programs. It features an annotation language, called ACSL, in which it is possible possible to express the formal properties that the code under analysis is expected to meet. Current analyzers include: - an abstract interpreter - a code slicer - an impact analysis tool IMPORTANT NOTE for user upgrading from a previous version: Starting from Frama-C Beryllium 20090902 and why 2.21, Jessie plug-in is now provided directly by apps-why. There is no local why installation anymore.
| Version: | 20111001godi2 |
| Homepage: | http://frama-c.com/ |
| Maintainer: | Virgile Prevosto <virgile.prevosto@m4x.org> |
| Files: |
bin/frama-c bin/frama-c-gui bin/frama-c-gui.byte bin/frama-c.byte bin/ptests.byte lib/frama-c/Constant_Propagation.cmo lib/frama-c/Constant_Propagation.cmx lib/frama-c/Constant_Propagation.o lib/frama-c/From.cmo lib/frama-c/From.cmx lib/frama-c/From.o lib/frama-c/Impact.cmo lib/frama-c/Impact.cmx lib/frama-c/Impact.o lib/frama-c/Inout.cmo lib/frama-c/Inout.cmx lib/frama-c/Inout.o lib/frama-c/Metrics.cmo lib/frama-c/Metrics.cmx lib/frama-c/Metrics.o lib/frama-c/Occurrence.cmo lib/frama-c/Occurrence.cmx lib/frama-c/Occurrence.o lib/frama-c/Pdg.cmo lib/frama-c/Pdg.cmx lib/frama-c/Pdg.o lib/frama-c/Postdominators.cmo lib/frama-c/Postdominators.cmx lib/frama-c/Postdominators.o lib/frama-c/RteGen.cmo lib/frama-c/RteGen.cmx lib/frama-c/RteGen.o lib/frama-c/Scope.cmo lib/frama-c/Scope.cmx lib/frama-c/Scope.o lib/frama-c/Semantic_callgraph.cmo lib/frama-c/Semantic_callgraph.cmx lib/frama-c/Semantic_callgraph.o lib/frama-c/Slicing.cmo lib/frama-c/Slicing.cmx lib/frama-c/Slicing.o lib/frama-c/Sparecode.cmo lib/frama-c/Sparecode.cmx lib/frama-c/Sparecode.o lib/frama-c/Syntactic_callgraph.cmo lib/frama-c/Syntactic_callgraph.cmx lib/frama-c/Syntactic_callgraph.o lib/frama-c/Users.cmo lib/frama-c/Users.cmx lib/frama-c/Users.o lib/frama-c/Value.cmo lib/frama-c/Value.cmx lib/frama-c/Value.o lib/frama-c/abstract_interp.cmi lib/frama-c/abstract_interp.cmi_pretty lib/frama-c/abstract_interp.cmo lib/frama-c/abstract_interp.cmx lib/frama-c/abstract_interp.o lib/frama-c/abstract_value.cmi lib/frama-c/abstract_value.cmi_pretty lib/frama-c/abstract_value.cmo lib/frama-c/abstract_value.cmx lib/frama-c/abstract_value.o lib/frama-c/alarms.cmi lib/frama-c/alarms.cmi_pretty lib/frama-c/alarms.cmo lib/frama-c/alarms.cmx lib/frama-c/alarms.o lib/frama-c/alpha.cmi lib/frama-c/alpha.cmi_pretty lib/frama-c/alpha.cmo lib/frama-c/alpha.cmx lib/frama-c/alpha.o lib/frama-c/analyses_manager.cmi lib/frama-c/analyses_manager.cmi_pretty lib/frama-c/analyses_manager.cmo lib/frama-c/analyses_manager.cmx lib/frama-c/analyses_manager.o lib/frama-c/annotations.cmi lib/frama-c/annotations.cmi_pretty lib/frama-c/annotations.cmo lib/frama-c/annotations.cmx lib/frama-c/annotations.o lib/frama-c/ast.cmi lib/frama-c/ast.cmi_pretty lib/frama-c/ast.cmo lib/frama-c/ast.cmx lib/frama-c/ast.o lib/frama-c/ast_info.cmi lib/frama-c/ast_info.cmi_pretty lib/frama-c/ast_info.cmo lib/frama-c/ast_info.cmx lib/frama-c/ast_info.o lib/frama-c/ast_printer.cmi lib/frama-c/ast_printer.cmi_pretty lib/frama-c/ast_printer.cmo lib/frama-c/ast_printer.cmx lib/frama-c/ast_printer.o lib/frama-c/availexpslv.cmi lib/frama-c/availexpslv.cmi_pretty lib/frama-c/availexpslv.cmo lib/frama-c/availexpslv.cmx lib/frama-c/availexpslv.o lib/frama-c/bag.cmi lib/frama-c/bag.cmi_pretty lib/frama-c/bag.cmo lib/frama-c/bag.cmx lib/frama-c/bag.o lib/frama-c/base.cmi lib/frama-c/base.cmi_pretty lib/frama-c/base.cmo lib/frama-c/base.cmx lib/frama-c/base.o lib/frama-c/base_Set_Lattice.cmi lib/frama-c/base_Set_Lattice.cmi_pretty lib/frama-c/base_Set_Lattice.cmo lib/frama-c/base_Set_Lattice.cmx lib/frama-c/base_Set_Lattice.o lib/frama-c/binary_cache.cmi lib/frama-c/binary_cache.cmi_pretty lib/frama-c/binary_cache.cmo lib/frama-c/binary_cache.cmx lib/frama-c/binary_cache.o lib/frama-c/bit_model_access.cmi lib/frama-c/bit_model_access.cmi_pretty lib/frama-c/bit_model_access.cmo lib/frama-c/bit_model_access.cmx lib/frama-c/bit_model_access.o lib/frama-c/bit_utils.cmi lib/frama-c/bit_utils.cmi_pretty lib/frama-c/bit_utils.cmo lib/frama-c/bit_utils.cmx lib/frama-c/bit_utils.o lib/frama-c/bitvector.cmi lib/frama-c/bitvector.cmi_pretty lib/frama-c/bitvector.cmo lib/frama-c/bitvector.cmx lib/frama-c/bitvector.o lib/frama-c/book_manager.cmi lib/frama-c/book_manager.cmi_pretty lib/frama-c/book_manager.cmo lib/frama-c/book_manager.cmx lib/frama-c/book_manager.o lib/frama-c/boot.cmi lib/frama-c/boot.cmi_pretty lib/frama-c/boot.cmo lib/frama-c/boot.cmx lib/frama-c/boot.o lib/frama-c/buckx.cmi lib/frama-c/buckx.cmi_pretty lib/frama-c/buckx.cmo lib/frama-c/buckx.cmx lib/frama-c/buckx.o lib/frama-c/buckx_c.o lib/frama-c/cabs.cmi lib/frama-c/cabs.cmi_pretty lib/frama-c/cabs.cmo lib/frama-c/cabs.cmx lib/frama-c/cabs.o lib/frama-c/cabs2cil.cmi lib/frama-c/cabs2cil.cmi_pretty lib/frama-c/cabs2cil.cmo lib/frama-c/cabs2cil.cmx lib/frama-c/cabs2cil.o lib/frama-c/cabscond.cmi lib/frama-c/cabscond.cmi_pretty lib/frama-c/cabscond.cmo lib/frama-c/cabscond.cmx lib/frama-c/cabscond.o lib/frama-c/cabshelper.cmi lib/frama-c/cabshelper.cmi_pretty lib/frama-c/cabshelper.cmo lib/frama-c/cabshelper.cmx lib/frama-c/cabshelper.o lib/frama-c/cabsvisit.cmi lib/frama-c/cabsvisit.cmi_pretty lib/frama-c/cabsvisit.cmo lib/frama-c/cabsvisit.cmx lib/frama-c/cabsvisit.o lib/frama-c/callgraph.cmi lib/frama-c/callgraph.cmi_pretty lib/frama-c/callgraph.cmo lib/frama-c/callgraph.cmx lib/frama-c/callgraph.o lib/frama-c/cfg.cmi lib/frama-c/cfg.cmi_pretty lib/frama-c/cfg.cmo lib/frama-c/cfg.cmx lib/frama-c/cfg.o lib/frama-c/cil.cmi lib/frama-c/cil.cmi_pretty lib/frama-c/cil.cmo lib/frama-c/cil.cmx lib/frama-c/cil.o lib/frama-c/cilE.cmi lib/frama-c/cilE.cmi_pretty lib/frama-c/cilE.cmo lib/frama-c/cilE.cmx lib/frama-c/cilE.o lib/frama-c/cil_const.cmi lib/frama-c/cil_const.cmi_pretty lib/frama-c/cil_const.cmo lib/frama-c/cil_const.cmx lib/frama-c/cil_const.o lib/frama-c/cil_datatype.cmi lib/frama-c/cil_datatype.cmi_pretty lib/frama-c/cil_datatype.cmo lib/frama-c/cil_datatype.cmx lib/frama-c/cil_datatype.o lib/frama-c/cil_state_builder.cmi lib/frama-c/cil_state_builder.cmi_pretty lib/frama-c/cil_state_builder.cmo lib/frama-c/cil_state_builder.cmx lib/frama-c/cil_state_builder.o lib/frama-c/cil_types.cmi lib/frama-c/cil_types.cmi_pretty lib/frama-c/cilglobopt.cmi lib/frama-c/cilglobopt.cmi_pretty lib/frama-c/cilglobopt.cmo lib/frama-c/cilglobopt.cmx lib/frama-c/cilglobopt.o lib/frama-c/cilmsg.cmi lib/frama-c/cilmsg.cmi_pretty lib/frama-c/cilmsg.cmo lib/frama-c/cilmsg.cmx lib/frama-c/cilmsg.o lib/frama-c/ciltools.cmi lib/frama-c/ciltools.cmi_pretty lib/frama-c/ciltools.cmo lib/frama-c/ciltools.cmx lib/frama-c/ciltools.o lib/frama-c/cilutil.cmi lib/frama-c/cilutil.cmi_pretty lib/frama-c/cilutil.cmo lib/frama-c/cilutil.cmx lib/frama-c/cilutil.o lib/frama-c/clexer.cmi lib/frama-c/clexer.cmi_pretty lib/frama-c/clexer.cmo lib/frama-c/clexer.cmx lib/frama-c/clexer.o lib/frama-c/clist.cmi lib/frama-c/clist.cmi_pretty lib/frama-c/clist.cmo lib/frama-c/clist.cmx lib/frama-c/clist.o lib/frama-c/cmdline.cmi lib/frama-c/cmdline.cmi_pretty lib/frama-c/cmdline.cmo lib/frama-c/cmdline.cmx lib/frama-c/cmdline.o lib/frama-c/command.cmi lib/frama-c/command.cmi_pretty lib/frama-c/command.cmo lib/frama-c/command.cmx lib/frama-c/command.o lib/frama-c/config.cmi lib/frama-c/config.cmi_pretty lib/frama-c/config.cmo lib/frama-c/config.cmx lib/frama-c/config.o lib/frama-c/cparser.cmi lib/frama-c/cparser.cmi_pretty lib/frama-c/cparser.cmo lib/frama-c/cparser.cmx lib/frama-c/cparser.o lib/frama-c/cprint.cmi lib/frama-c/cprint.cmi_pretty lib/frama-c/cprint.cmo lib/frama-c/cprint.cmx lib/frama-c/cprint.o lib/frama-c/cvalue.cmi lib/frama-c/cvalue.cmi_pretty lib/frama-c/cvalue.cmo lib/frama-c/cvalue.cmx lib/frama-c/cvalue.o lib/frama-c/dashtbl.cmi lib/frama-c/dashtbl.cmi_pretty lib/frama-c/dashtbl.cmo lib/frama-c/dashtbl.cmx lib/frama-c/dashtbl.o lib/frama-c/dataflow.cmi lib/frama-c/dataflow.cmi_pretty lib/frama-c/dataflow.cmo lib/frama-c/dataflow.cmx lib/frama-c/dataflow.o lib/frama-c/datatype.cmi lib/frama-c/datatype.cmi_pretty lib/frama-c/datatype.cmo lib/frama-c/datatype.cmx lib/frama-c/datatype.o lib/frama-c/db.cmi lib/frama-c/db.cmi_pretty lib/frama-c/db.cmo lib/frama-c/db.cmx lib/frama-c/db.o lib/frama-c/deadcodeelim.cmi lib/frama-c/deadcodeelim.cmi_pretty lib/frama-c/deadcodeelim.cmo lib/frama-c/deadcodeelim.cmx lib/frama-c/deadcodeelim.o lib/frama-c/debug_manager.cmi lib/frama-c/debug_manager.cmi_pretty lib/frama-c/debug_manager.cmo lib/frama-c/debug_manager.cmx lib/frama-c/debug_manager.o lib/frama-c/descr.cmi lib/frama-c/descr.cmi_pretty lib/frama-c/descr.cmo lib/frama-c/descr.cmx lib/frama-c/descr.o lib/frama-c/description.cmi lib/frama-c/description.cmi_pretty lib/frama-c/description.cmo lib/frama-c/description.cmx lib/frama-c/description.o lib/frama-c/design.cmi lib/frama-c/design.cmi_pretty lib/frama-c/design.cmo lib/frama-c/design.cmx lib/frama-c/design.o lib/frama-c/dominators.cmi lib/frama-c/dominators.cmi_pretty lib/frama-c/dominators.cmo lib/frama-c/dominators.cmx lib/frama-c/dominators.o lib/frama-c/dynamic.cmi lib/frama-c/dynamic.cmi_pretty lib/frama-c/dynamic.cmo lib/frama-c/dynamic.cmx lib/frama-c/dynamic.o lib/frama-c/dynlink_common_interface.cmi lib/frama-c/dynlink_common_interface.cmi_pretty lib/frama-c/dynlink_common_interface.cmo lib/frama-c/dynlink_common_interface.cmx lib/frama-c/dynlink_common_interface.o lib/frama-c/emitter.cmi lib/frama-c/emitter.cmi_pretty lib/frama-c/emitter.cmo lib/frama-c/emitter.cmx lib/frama-c/emitter.o lib/frama-c/errorloc.cmi lib/frama-c/errorloc.cmi_pretty lib/frama-c/errorloc.cmo lib/frama-c/errorloc.cmx lib/frama-c/errorloc.o lib/frama-c/escape.cmi lib/frama-c/escape.cmi_pretty lib/frama-c/escape.cmo lib/frama-c/escape.cmx lib/frama-c/escape.o lib/frama-c/expcompare.cmi lib/frama-c/expcompare.cmi_pretty lib/frama-c/expcompare.cmo lib/frama-c/expcompare.cmx lib/frama-c/expcompare.o lib/frama-c/extlib.cmi lib/frama-c/extlib.cmi_pretty lib/frama-c/extlib.cmo lib/frama-c/extlib.cmx lib/frama-c/extlib.o lib/frama-c/file.cmi lib/frama-c/file.cmi_pretty lib/frama-c/file.cmo lib/frama-c/file.cmx lib/frama-c/file.o lib/frama-c/file_manager.cmi lib/frama-c/file_manager.cmi_pretty lib/frama-c/file_manager.cmo lib/frama-c/file_manager.cmx lib/frama-c/file_manager.o lib/frama-c/filetree.cmi lib/frama-c/filetree.cmi_pretty lib/frama-c/filetree.cmo lib/frama-c/filetree.cmx lib/frama-c/filetree.o lib/frama-c/filter.cmi lib/frama-c/filter.cmi_pretty lib/frama-c/filter.cmo lib/frama-c/filter.cmx lib/frama-c/filter.o lib/frama-c/frontc.cmi lib/frama-c/frontc.cmi_pretty lib/frama-c/frontc.cmo lib/frama-c/frontc.cmx lib/frama-c/frontc.o lib/frama-c/function_Froms.cmi lib/frama-c/function_Froms.cmi_pretty lib/frama-c/function_Froms.cmo lib/frama-c/function_Froms.cmx lib/frama-c/function_Froms.o lib/frama-c/globals.cmi lib/frama-c/globals.cmi_pretty lib/frama-c/globals.cmo lib/frama-c/globals.cmx lib/frama-c/globals.o lib/frama-c/growArray.cmi lib/frama-c/growArray.cmi_pretty lib/frama-c/growArray.cmo lib/frama-c/growArray.cmx lib/frama-c/growArray.o lib/frama-c/gtk_form.cmi lib/frama-c/gtk_form.cmi_pretty lib/frama-c/gtk_form.cmo lib/frama-c/gtk_form.cmx lib/frama-c/gtk_form.o lib/frama-c/gtk_helper.cmi lib/frama-c/gtk_helper.cmi_pretty lib/frama-c/gtk_helper.cmo lib/frama-c/gtk_helper.cmx lib/frama-c/gtk_helper.o lib/frama-c/gui_init.cmi lib/frama-c/gui_init.cmi_pretty lib/frama-c/gui_parameters.cmi lib/frama-c/gui_parameters.cmi_pretty lib/frama-c/gui_parameters.cmo lib/frama-c/gui_parameters.cmx lib/frama-c/gui_parameters.o lib/frama-c/help_manager.cmi lib/frama-c/help_manager.cmi_pretty lib/frama-c/help_manager.cmo lib/frama-c/help_manager.cmx lib/frama-c/help_manager.o lib/frama-c/history.cmi lib/frama-c/history.cmi_pretty lib/frama-c/history.cmo lib/frama-c/history.cmx lib/frama-c/history.o lib/frama-c/hook.cmi lib/frama-c/hook.cmi_pretty lib/frama-c/hook.cmo lib/frama-c/hook.cmx lib/frama-c/hook.o lib/frama-c/hptmap.cmi lib/frama-c/hptmap.cmi_pretty lib/frama-c/hptmap.cmo lib/frama-c/hptmap.cmx lib/frama-c/hptmap.o lib/frama-c/hptset.cmi lib/frama-c/hptset.cmi_pretty lib/frama-c/hptset.cmo lib/frama-c/hptset.cmx lib/frama-c/hptset.o lib/frama-c/infer_annotations.cmi lib/frama-c/infer_annotations.cmi_pretty lib/frama-c/infer_annotations.cmo lib/frama-c/infer_annotations.cmx lib/frama-c/infer_annotations.o lib/frama-c/inout_type.cmi lib/frama-c/inout_type.cmi_pretty lib/frama-c/inout_type.cmo lib/frama-c/inout_type.cmx lib/frama-c/inout_type.o lib/frama-c/int_Base.cmi lib/frama-c/int_Base.cmi_pretty lib/frama-c/int_Base.cmo lib/frama-c/int_Base.cmx lib/frama-c/int_Base.o lib/frama-c/int_Interv.cmi lib/frama-c/int_Interv.cmi_pretty lib/frama-c/int_Interv.cmo lib/frama-c/int_Interv.cmx lib/frama-c/int_Interv.o lib/frama-c/int_Interv_Map.cmi lib/frama-c/int_Interv_Map.cmi_pretty lib/frama-c/int_Interv_Map.cmo lib/frama-c/int_Interv_Map.cmx lib/frama-c/int_Interv_Map.o lib/frama-c/inthash.cmi lib/frama-c/inthash.cmi_pretty lib/frama-c/inthash.cmo lib/frama-c/inthash.cmx lib/frama-c/inthash.o lib/frama-c/ival.cmi lib/frama-c/ival.cmi_pretty lib/frama-c/ival.cmo lib/frama-c/ival.cmx lib/frama-c/ival.o lib/frama-c/journal.cmi lib/frama-c/journal.cmi_pretty lib/frama-c/journal.cmo lib/frama-c/journal.cmx lib/frama-c/journal.o lib/frama-c/kernel.cmi lib/frama-c/kernel.cmi_pretty lib/frama-c/kernel.cmo lib/frama-c/kernel.cmx lib/frama-c/kernel.o lib/frama-c/kernel_function.cmi lib/frama-c/kernel_function.cmi_pretty lib/frama-c/kernel_function.cmo lib/frama-c/kernel_function.cmx lib/frama-c/kernel_function.o lib/frama-c/lattice_Interval_Set.cmi lib/frama-c/lattice_Interval_Set.cmi_pretty lib/frama-c/lattice_Interval_Set.cmo lib/frama-c/lattice_Interval_Set.cmx lib/frama-c/lattice_Interval_Set.o lib/frama-c/lattice_With_Isotropy.cmi lib/frama-c/lattice_With_Isotropy.cmi_pretty lib/frama-c/launcher.cmi lib/frama-c/launcher.cmi_pretty lib/frama-c/launcher.cmo lib/frama-c/launcher.cmx lib/frama-c/launcher.o lib/frama-c/lexerhack.cmi lib/frama-c/lexerhack.cmi_pretty lib/frama-c/lexerhack.cmo lib/frama-c/lexerhack.cmx lib/frama-c/lexerhack.o lib/frama-c/liveness.cmi lib/frama-c/liveness.cmi_pretty lib/frama-c/liveness.cmo lib/frama-c/liveness.cmx lib/frama-c/liveness.o lib/frama-c/lmap.cmi lib/frama-c/lmap.cmi_pretty lib/frama-c/lmap.cmo lib/frama-c/lmap.cmx lib/frama-c/lmap.o lib/frama-c/lmap_bitwise.cmi lib/frama-c/lmap_bitwise.cmi_pretty lib/frama-c/lmap_bitwise.cmo lib/frama-c/lmap_bitwise.cmx lib/frama-c/lmap_bitwise.o lib/frama-c/locations.cmi lib/frama-c/locations.cmi_pretty lib/frama-c/locations.cmo lib/frama-c/locations.cmx lib/frama-c/locations.o lib/frama-c/log.cmi lib/frama-c/log.cmi_pretty lib/frama-c/log.cmo lib/frama-c/log.cmx lib/frama-c/log.o lib/frama-c/logic_builtin.cmi lib/frama-c/logic_builtin.cmi_pretty lib/frama-c/logic_builtin.cmo lib/frama-c/logic_builtin.cmx lib/frama-c/logic_builtin.o lib/frama-c/logic_const.cmi lib/frama-c/logic_const.cmi_pretty lib/frama-c/logic_const.cmo lib/frama-c/logic_const.cmx lib/frama-c/logic_const.o lib/frama-c/logic_env.cmi lib/frama-c/logic_env.cmi_pretty lib/frama-c/logic_env.cmo lib/frama-c/logic_env.cmx lib/frama-c/logic_env.o lib/frama-c/logic_interp.cmi lib/frama-c/logic_interp.cmi_pretty lib/frama-c/logic_interp.cmo lib/frama-c/logic_interp.cmx lib/frama-c/logic_interp.o lib/frama-c/logic_lexer.cmi lib/frama-c/logic_lexer.cmi_pretty lib/frama-c/logic_lexer.cmo lib/frama-c/logic_lexer.cmx lib/frama-c/logic_lexer.o lib/frama-c/logic_parser.cmi lib/frama-c/logic_parser.cmi_pretty lib/frama-c/logic_parser.cmo lib/frama-c/logic_parser.cmx lib/frama-c/logic_parser.o lib/frama-c/logic_preprocess.cmi lib/frama-c/logic_preprocess.cmi_pretty lib/frama-c/logic_preprocess.cmo lib/frama-c/logic_preprocess.cmx lib/frama-c/logic_preprocess.o lib/frama-c/logic_print.cmi lib/frama-c/logic_print.cmi_pretty lib/frama-c/logic_print.cmo lib/frama-c/logic_print.cmx lib/frama-c/logic_print.o lib/frama-c/logic_ptree.cmi lib/frama-c/logic_ptree.cmi_pretty lib/frama-c/logic_typing.cmi lib/frama-c/logic_typing.cmi_pretty lib/frama-c/logic_typing.cmo lib/frama-c/logic_typing.cmx lib/frama-c/logic_typing.o lib/frama-c/logic_utils.cmi lib/frama-c/logic_utils.cmi_pretty lib/frama-c/logic_utils.cmo lib/frama-c/logic_utils.cmx lib/frama-c/logic_utils.o lib/frama-c/loop.cmi lib/frama-c/loop.cmi_pretty lib/frama-c/loop.cmo lib/frama-c/loop.cmx lib/frama-c/loop.o lib/frama-c/machdep.cmi lib/frama-c/machdep.cmi_pretty lib/frama-c/machdep.cmo lib/frama-c/machdep.cmx lib/frama-c/machdep.o lib/frama-c/machdep_ppc_32.cmi lib/frama-c/machdep_ppc_32.cmi_pretty lib/frama-c/machdep_ppc_32.cmo lib/frama-c/machdep_ppc_32.cmx lib/frama-c/machdep_ppc_32.o lib/frama-c/machdep_x86_16.cmi lib/frama-c/machdep_x86_16.cmi_pretty lib/frama-c/machdep_x86_16.cmo lib/frama-c/machdep_x86_16.cmx lib/frama-c/machdep_x86_16.o lib/frama-c/machdep_x86_32.cmi lib/frama-c/machdep_x86_32.cmi_pretty lib/frama-c/machdep_x86_32.cmo lib/frama-c/machdep_x86_32.cmx lib/frama-c/machdep_x86_32.o lib/frama-c/machdep_x86_64.cmi lib/frama-c/machdep_x86_64.cmi_pretty lib/frama-c/machdep_x86_64.cmo lib/frama-c/machdep_x86_64.cmx lib/frama-c/machdep_x86_64.o lib/frama-c/map_Lattice.cmi lib/frama-c/map_Lattice.cmi_pretty lib/frama-c/map_Lattice.cmo lib/frama-c/map_Lattice.cmx lib/frama-c/map_Lattice.o lib/frama-c/map_common_interface.cmi lib/frama-c/map_common_interface.cmi_pretty lib/frama-c/map_common_interface.cmo lib/frama-c/map_common_interface.cmx lib/frama-c/map_common_interface.o lib/frama-c/menu_manager.cmi lib/frama-c/menu_manager.cmi_pretty lib/frama-c/menu_manager.cmo lib/frama-c/menu_manager.cmx lib/frama-c/menu_manager.o lib/frama-c/mergecil.cmi lib/frama-c/mergecil.cmi_pretty lib/frama-c/mergecil.cmo lib/frama-c/mergecil.cmx lib/frama-c/mergecil.o lib/frama-c/messages.cmi lib/frama-c/messages.cmi_pretty lib/frama-c/messages.cmo lib/frama-c/messages.cmx lib/frama-c/messages.o lib/frama-c/my_bigint.cmi lib/frama-c/my_bigint.cmi_pretty lib/frama-c/my_bigint.cmo lib/frama-c/my_bigint.cmx lib/frama-c/my_bigint.o lib/frama-c/mybigarray.o lib/frama-c/new_offsetmap.cmi lib/frama-c/new_offsetmap.cmi_pretty lib/frama-c/new_offsetmap.cmo lib/frama-c/new_offsetmap.cmx lib/frama-c/new_offsetmap.o lib/frama-c/obfuscate.cmi lib/frama-c/obfuscate.cmi_pretty lib/frama-c/obfuscate.cmo lib/frama-c/obfuscate.cmx lib/frama-c/obfuscate.o lib/frama-c/offsetmap.cmi lib/frama-c/offsetmap.cmi_pretty lib/frama-c/offsetmap.cmo lib/frama-c/offsetmap.cmx lib/frama-c/offsetmap.o lib/frama-c/offsetmap_bitwise.cmi lib/frama-c/offsetmap_bitwise.cmi_pretty lib/frama-c/offsetmap_bitwise.cmo lib/frama-c/offsetmap_bitwise.cmx lib/frama-c/offsetmap_bitwise.o lib/frama-c/oneret.cmi lib/frama-c/oneret.cmi_pretty lib/frama-c/oneret.cmo lib/frama-c/oneret.cmx lib/frama-c/oneret.o lib/frama-c/origin.cmi lib/frama-c/origin.cmi_pretty lib/frama-c/origin.cmo lib/frama-c/origin.cmx lib/frama-c/origin.o lib/frama-c/parameter.cmi lib/frama-c/parameter.cmi_pretty lib/frama-c/parameter.cmo lib/frama-c/parameter.cmx lib/frama-c/parameter.o lib/frama-c/path_lattice.cmi lib/frama-c/path_lattice.cmi_pretty lib/frama-c/path_lattice.cmo lib/frama-c/path_lattice.cmx lib/frama-c/path_lattice.o lib/frama-c/pdgIndex.cmi lib/frama-c/pdgIndex.cmi_pretty lib/frama-c/pdgIndex.cmo lib/frama-c/pdgIndex.cmx lib/frama-c/pdgIndex.o lib/frama-c/pdgMarks.cmi lib/frama-c/pdgMarks.cmi_pretty lib/frama-c/pdgMarks.cmo lib/frama-c/pdgMarks.cmx lib/frama-c/pdgMarks.o lib/frama-c/pdgTypes.cmi lib/frama-c/pdgTypes.cmi_pretty lib/frama-c/pdgTypes.cmo lib/frama-c/pdgTypes.cmx lib/frama-c/pdgTypes.o lib/frama-c/plugin.cmi lib/frama-c/plugin.cmi_pretty lib/frama-c/plugin.cmo lib/frama-c/plugin.cmx lib/frama-c/plugin.o lib/frama-c/plugins/Aorai.cmi lib/frama-c/plugins/Aorai.cmi_pretty lib/frama-c/plugins/Aorai.cmo lib/frama-c/plugins/Aorai.cmxs lib/frama-c/plugins/Report.cmi lib/frama-c/plugins/Report.cmi_pretty lib/frama-c/plugins/Report.cmo lib/frama-c/plugins/Report.cmxs lib/frama-c/plugins/Security_slicing.cmi lib/frama-c/plugins/Security_slicing.cmi_pretty lib/frama-c/plugins/Security_slicing.cmo lib/frama-c/plugins/Security_slicing.cmxs lib/frama-c/plugins/Wp.cmi lib/frama-c/plugins/Wp.cmi_pretty lib/frama-c/plugins/Wp.cmo lib/frama-c/plugins/Wp.cmxs lib/frama-c/plugins/gui/Security_slicing.cmi lib/frama-c/plugins/gui/Security_slicing.cmi_pretty lib/frama-c/plugins/gui/Security_slicing.cmo lib/frama-c/plugins/gui/Security_slicing.cmxs lib/frama-c/plugins/gui/Wp.cmi lib/frama-c/plugins/gui/Wp.cmi_pretty lib/frama-c/plugins/gui/Wp.cmo lib/frama-c/plugins/gui/Wp.cmxs lib/frama-c/pretty_source.cmi lib/frama-c/pretty_source.cmi_pretty lib/frama-c/pretty_source.cmo lib/frama-c/pretty_source.cmx lib/frama-c/pretty_source.o lib/frama-c/pretty_utils.cmi lib/frama-c/pretty_utils.cmi_pretty lib/frama-c/pretty_utils.cmo lib/frama-c/pretty_utils.cmx lib/frama-c/pretty_utils.o lib/frama-c/printer.cmi lib/frama-c/printer.cmi_pretty lib/frama-c/printer.cmo lib/frama-c/printer.cmx lib/frama-c/printer.o lib/frama-c/printexc_common_interface.cmi lib/frama-c/printexc_common_interface.cmi_pretty lib/frama-c/printexc_common_interface.cmo lib/frama-c/printexc_common_interface.cmx lib/frama-c/printexc_common_interface.o lib/frama-c/project.cmi lib/frama-c/project.cmi_pretty lib/frama-c/project.cmo lib/frama-c/project.cmx lib/frama-c/project.o lib/frama-c/project_manager.cmi lib/frama-c/project_manager.cmi_pretty lib/frama-c/project_manager.cmo lib/frama-c/project_manager.cmx lib/frama-c/project_manager.o lib/frama-c/project_skeleton.cmi lib/frama-c/project_skeleton.cmi_pretty lib/frama-c/project_skeleton.cmo lib/frama-c/project_skeleton.cmx lib/frama-c/project_skeleton.o lib/frama-c/property.cmi lib/frama-c/property.cmi_pretty lib/frama-c/property.cmo lib/frama-c/property.cmx lib/frama-c/property.o lib/frama-c/property_navigator.cmi lib/frama-c/property_navigator.cmi_pretty lib/frama-c/property_navigator.cmo lib/frama-c/property_navigator.cmx lib/frama-c/property_navigator.o lib/frama-c/property_status.cmi lib/frama-c/property_status.cmi_pretty lib/frama-c/property_status.cmo lib/frama-c/property_status.cmx lib/frama-c/property_status.o lib/frama-c/ptests_config.cmi lib/frama-c/ptests_config.cmi_pretty lib/frama-c/qstack.cmi lib/frama-c/qstack.cmi_pretty lib/frama-c/qstack.cmo lib/frama-c/qstack.cmx lib/frama-c/qstack.o lib/frama-c/rangemap.cmi lib/frama-c/rangemap.cmi_pretty lib/frama-c/rangemap.cmo lib/frama-c/rangemap.cmx lib/frama-c/rangemap.o lib/frama-c/reachingdefs.cmi lib/frama-c/reachingdefs.cmi_pretty lib/frama-c/reachingdefs.cmo lib/frama-c/reachingdefs.cmx lib/frama-c/reachingdefs.o lib/frama-c/rmciltmps.cmi lib/frama-c/rmciltmps.cmi_pretty lib/frama-c/rmciltmps.cmo lib/frama-c/rmciltmps.cmx lib/frama-c/rmciltmps.o lib/frama-c/rmtmps.cmi lib/frama-c/rmtmps.cmi_pretty lib/frama-c/rmtmps.cmo lib/frama-c/rmtmps.cmx lib/frama-c/rmtmps.o lib/frama-c/service_graph.cmi lib/frama-c/service_graph.cmi_pretty lib/frama-c/service_graph.cmo lib/frama-c/service_graph.cmx lib/frama-c/service_graph.o lib/frama-c/setWithNearest.cmi lib/frama-c/setWithNearest.cmi_pretty lib/frama-c/setWithNearest.cmo lib/frama-c/setWithNearest.cmx lib/frama-c/setWithNearest.o lib/frama-c/shifted_Location.cmi lib/frama-c/shifted_Location.cmi_pretty lib/frama-c/shifted_Location.cmo lib/frama-c/shifted_Location.cmx lib/frama-c/shifted_Location.o lib/frama-c/slicingInternals.cmi lib/frama-c/slicingInternals.cmi_pretty lib/frama-c/slicingInternals.cmo lib/frama-c/slicingInternals.cmx lib/frama-c/slicingInternals.o lib/frama-c/slicingTypes.cmi lib/frama-c/slicingTypes.cmi_pretty lib/frama-c/slicingTypes.cmo lib/frama-c/slicingTypes.cmx lib/frama-c/slicingTypes.o lib/frama-c/source_manager.cmi lib/frama-c/source_manager.cmi_pretty lib/frama-c/source_manager.cmo lib/frama-c/source_manager.cmx lib/frama-c/source_manager.o lib/frama-c/source_viewer.cmi lib/frama-c/source_viewer.cmi_pretty lib/frama-c/source_viewer.cmo lib/frama-c/source_viewer.cmx lib/frama-c/source_viewer.o lib/frama-c/special_hooks.cmi lib/frama-c/special_hooks.cmi_pretty lib/frama-c/special_hooks.cmo lib/frama-c/special_hooks.cmx lib/frama-c/special_hooks.o lib/frama-c/state.cmi lib/frama-c/state.cmi_pretty lib/frama-c/state.cmo lib/frama-c/state.cmx lib/frama-c/state.o lib/frama-c/state_builder.cmi lib/frama-c/state_builder.cmi_pretty lib/frama-c/state_builder.cmo lib/frama-c/state_builder.cmx lib/frama-c/state_builder.o lib/frama-c/state_dependency_graph.cmi lib/frama-c/state_dependency_graph.cmi_pretty lib/frama-c/state_dependency_graph.cmo lib/frama-c/state_dependency_graph.cmx lib/frama-c/state_dependency_graph.o lib/frama-c/state_imp.cmi lib/frama-c/state_imp.cmi_pretty lib/frama-c/state_imp.cmo lib/frama-c/state_imp.cmx lib/frama-c/state_imp.o lib/frama-c/state_selection.cmi lib/frama-c/state_selection.cmi_pretty lib/frama-c/state_selection.cmo lib/frama-c/state_selection.cmx lib/frama-c/state_selection.o lib/frama-c/state_set.cmi lib/frama-c/state_set.cmi_pretty lib/frama-c/state_set.cmo lib/frama-c/state_set.cmx lib/frama-c/state_set.o lib/frama-c/state_topological.cmi lib/frama-c/state_topological.cmi_pretty lib/frama-c/state_topological.cmo lib/frama-c/state_topological.cmx lib/frama-c/state_topological.o lib/frama-c/stmts_graph.cmi lib/frama-c/stmts_graph.cmi_pretty lib/frama-c/stmts_graph.cmo lib/frama-c/stmts_graph.cmx lib/frama-c/stmts_graph.o lib/frama-c/structural_descr.cmi lib/frama-c/structural_descr.cmi_pretty lib/frama-c/structural_descr.cmo lib/frama-c/structural_descr.cmx lib/frama-c/structural_descr.o lib/frama-c/subst.cmi lib/frama-c/subst.cmi_pretty lib/frama-c/subst.cmo lib/frama-c/subst.cmx lib/frama-c/subst.o lib/frama-c/task.cmi lib/frama-c/task.cmi_pretty lib/frama-c/task.cmo lib/frama-c/task.cmx lib/frama-c/task.o lib/frama-c/tr_offset.cmi lib/frama-c/tr_offset.cmi_pretty lib/frama-c/tr_offset.cmo lib/frama-c/tr_offset.cmx lib/frama-c/tr_offset.o lib/frama-c/translate_lightweight.cmi lib/frama-c/translate_lightweight.cmi_pretty lib/frama-c/translate_lightweight.cmo lib/frama-c/translate_lightweight.cmx lib/frama-c/translate_lightweight.o lib/frama-c/type.cmi lib/frama-c/type.cmi_pretty lib/frama-c/type.cmo lib/frama-c/type.cmx lib/frama-c/type.o lib/frama-c/unicode.cmi lib/frama-c/unicode.cmi_pretty lib/frama-c/unicode.cmo lib/frama-c/unicode.cmx lib/frama-c/unicode.o lib/frama-c/unmarshal.cmi lib/frama-c/unmarshal.cmi_pretty lib/frama-c/unmarshal.cmo lib/frama-c/unmarshal.cmx lib/frama-c/unmarshal.o lib/frama-c/unmarshal_nums.cmi lib/frama-c/unmarshal_nums.cmi_pretty lib/frama-c/unmarshal_nums.cmo lib/frama-c/unmarshal_nums.cmx lib/frama-c/unmarshal_nums.o lib/frama-c/unroll_loops.cmi lib/frama-c/unroll_loops.cmi_pretty lib/frama-c/unroll_loops.cmo lib/frama-c/unroll_loops.cmx lib/frama-c/unroll_loops.o lib/frama-c/usedef.cmi lib/frama-c/usedef.cmi_pretty lib/frama-c/usedef.cmo lib/frama-c/usedef.cmx lib/frama-c/usedef.o lib/frama-c/utf8_logic.cmi lib/frama-c/utf8_logic.cmi_pretty lib/frama-c/utf8_logic.cmo lib/frama-c/utf8_logic.cmx lib/frama-c/utf8_logic.o lib/frama-c/visitor.cmi lib/frama-c/visitor.cmi_pretty lib/frama-c/visitor.cmo lib/frama-c/visitor.cmx lib/frama-c/visitor.o lib/frama-c/warning_manager.cmi lib/frama-c/warning_manager.cmi_pretty lib/frama-c/warning_manager.cmo lib/frama-c/warning_manager.cmx lib/frama-c/warning_manager.o lib/frama-c/whitetrack.cmi lib/frama-c/whitetrack.cmi_pretty lib/frama-c/whitetrack.cmo lib/frama-c/whitetrack.cmx lib/frama-c/whitetrack.o lib/frama-c/widen.cmi lib/frama-c/widen.cmi_pretty lib/frama-c/widen.cmo lib/frama-c/widen.cmx lib/frama-c/widen.o lib/frama-c/widen_type.cmi lib/frama-c/widen_type.cmi_pretty lib/frama-c/widen_type.cmo lib/frama-c/widen_type.cmx lib/frama-c/widen_type.o share/emacs/site-lisp/acsl.el share/frama-c/Makefile.common share/frama-c/Makefile.config share/frama-c/Makefile.dynamic share/frama-c/Makefile.dynamic_config share/frama-c/Makefile.kernel share/frama-c/Makefile.plugin share/frama-c/acsl.el share/frama-c/builtin.c share/frama-c/builtin.h share/frama-c/check.png share/frama-c/configure.ac share/frama-c/doc/code/intro_kernel_plugin.txt share/frama-c/doc/code/intro_plugin.txt share/frama-c/doc/code/style.css share/frama-c/doc/code/toc_head.htm share/frama-c/doc/code/toc_tail.htm share/frama-c/failed.png share/frama-c/feedback/considered_valid.png share/frama-c/feedback/inconsistent.png share/frama-c/feedback/invalid_but_dead.png share/frama-c/feedback/invalid_under_hyp.png share/frama-c/feedback/never_tried.png share/frama-c/feedback/surely_invalid.png share/frama-c/feedback/surely_valid.png share/frama-c/feedback/unknown.png share/frama-c/feedback/unknown_but_dead.png share/frama-c/feedback/valid_but_dead.png share/frama-c/feedback/valid_under_hyp.png share/frama-c/fluctuat.h share/frama-c/frama-c.gif share/frama-c/frama-c.ico share/frama-c/frama-c.rc share/frama-c/left.png share/frama-c/libc.c share/frama-c/libc.h share/frama-c/libc/__fc_builtin.c share/frama-c/libc/__fc_builtin.h share/frama-c/libc/__fc_define_blkcnt_t.h share/frama-c/libc/__fc_define_blksize_t.h share/frama-c/libc/__fc_define_dev_t.h share/frama-c/libc/__fc_define_ino_t.h share/frama-c/libc/__fc_define_intptr_t.h share/frama-c/libc/__fc_define_iovec.h share/frama-c/libc/__fc_define_mode_t.h share/frama-c/libc/__fc_define_nlink_t.h share/frama-c/libc/__fc_define_null.h share/frama-c/libc/__fc_define_off_t.h share/frama-c/libc/__fc_define_pid_t.h share/frama-c/libc/__fc_define_restrict.h share/frama-c/libc/__fc_define_size_t.h share/frama-c/libc/__fc_define_ssize_t.h share/frama-c/libc/__fc_define_suseconds_t.h share/frama-c/libc/__fc_define_time_t.h share/frama-c/libc/__fc_define_uid_and_gid.h share/frama-c/libc/__fc_define_useconds_t.h share/frama-c/libc/__fc_define_wchar_t.h share/frama-c/libc/__fc_machdep.h share/frama-c/libc/__fc_string_axiomatic.h share/frama-c/libc/assert.c share/frama-c/libc/assert.h share/frama-c/libc/complex.c share/frama-c/libc/complex.h share/frama-c/libc/ctype.c share/frama-c/libc/ctype.h share/frama-c/libc/dirent.h share/frama-c/libc/errno.c share/frama-c/libc/errno.h share/frama-c/libc/fc_posix_runtime.c share/frama-c/libc/fc_runtime.c share/frama-c/libc/fcntl.h share/frama-c/libc/fenv.c share/frama-c/libc/fenv.h share/frama-c/libc/float.c share/frama-c/libc/float.h share/frama-c/libc/inttypes.c share/frama-c/libc/inttypes.h share/frama-c/libc/iso646.c share/frama-c/libc/iso646.h share/frama-c/libc/limits.c share/frama-c/libc/limits.h share/frama-c/libc/locale.c share/frama-c/libc/locale.h share/frama-c/libc/math.c share/frama-c/libc/math.h share/frama-c/libc/netinet/in.h share/frama-c/libc/pwd.h share/frama-c/libc/setjmp.c share/frama-c/libc/setjmp.h share/frama-c/libc/signal.c share/frama-c/libc/signal.h share/frama-c/libc/stdarg.c share/frama-c/libc/stdarg.h share/frama-c/libc/stdbool.c share/frama-c/libc/stdbool.h share/frama-c/libc/stddef.c share/frama-c/libc/stddef.h share/frama-c/libc/stdint.h share/frama-c/libc/stdio.c share/frama-c/libc/stdio.h share/frama-c/libc/stdlib.c share/frama-c/libc/stdlib.h share/frama-c/libc/string.c share/frama-c/libc/string.h share/frama-c/libc/sys/socket.h share/frama-c/libc/sys/stat.h share/frama-c/libc/sys/time.h share/frama-c/libc/sys/types.h share/frama-c/libc/sys/uio.h share/frama-c/libc/sys/wait.h share/frama-c/libc/syslog.h share/frama-c/libc/termios.h share/frama-c/libc/test.c share/frama-c/libc/tgmath.c share/frama-c/libc/tgmath.h share/frama-c/libc/time.c share/frama-c/libc/time.h share/frama-c/libc/uchar.c share/frama-c/libc/uchar.h share/frama-c/libc/unistd.h share/frama-c/libc/wchar.c share/frama-c/libc/wchar.h share/frama-c/libc/wctype.c share/frama-c/libc/wctype.h share/frama-c/machine.h share/frama-c/malloc.c share/frama-c/manuals/acsl-implementation.pdf share/frama-c/manuals/acsl.pdf share/frama-c/manuals/aorai-manual.pdf share/frama-c/manuals/jessie-tutorial.pdf share/frama-c/manuals/metrics-manual.pdf share/frama-c/manuals/plugin-development-guide.pdf share/frama-c/manuals/rte-manual.pdf share/frama-c/manuals/user-manual.pdf share/frama-c/manuals/value-analysis.pdf share/frama-c/manuals/wp-manual.pdf share/frama-c/math.c share/frama-c/math.h share/frama-c/maybe.png share/frama-c/right.png share/frama-c/unmark.png share/frama-c/wp/hoare_ergo.why share/frama-c/wp/hoare_model.v share/frama-c/wp/hoare_model.why share/frama-c/wp/runtime_ergo.why share/frama-c/wp/runtime_model.v share/frama-c/wp/runtime_model.why share/frama-c/wp/store_ergo.why share/frama-c/wp/store_model.v share/frama-c/wp/store_model.why share/frama-c/wp/wp.v share/man/man1/frama-c-gui.1.html share/man/man1/frama-c.1.html |
| Built from sources: |
frama-c-Nitrogen-20111001 |
