| Name : frama-c
| |
| Version : 20160501
| Vendor : obs://build_opensuse_org/home:lorenz
|
| Release : 11.3
| Date : 2017-04-13 18:14:53
|
| Group : Productivity/Scientific/Math
| Source RPM : frama-c-20160501-11.3.src.rpm
|
| Size : 86.33 MB
| |
| Packager : (none)
| |
| Summary : Static Analysis Framework
|
Description :
Open-source platform dedicated to the static analysis of source
code written in the C programming language. The Frama-C platform gathers
several static analysis techniques into a single collaborative framework.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/lorenz:/formal/openSUSE_42.1/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
Aorai.cmxs()(64bit)
Callgraph.cmxs()(64bit)
Constant_Propagation.cmxs()(64bit)
From.cmxs()(64bit)
Impact.cmxs()(64bit)
Inout.cmxs()(64bit)
LoopAnalysis.cmxs()(64bit)
Metrics.cmxs()(64bit)
Nonterm.cmxs()(64bit)
Obfuscator.cmxs()(64bit)
Occurrence.cmxs()(64bit)
Pdg.cmxs()(64bit)
Print_api.cmxs()(64bit)
Report.cmxs()(64bit)
Scope.cmxs()(64bit)
Security_slicing.cmxs()(64bit)
Slicing.cmxs()(64bit)
Sparecode.cmxs()(64bit)
Users.cmxs()(64bit)
Value.cmxs()(64bit)
Variadic.cmxs()(64bit)
Wp.cmxs()(64bit)
frama-c
frama-c(x86-64)
ocaml(Abstract_interp)
ocaml(Alarms)
ocaml(Allocates)
ocaml(Alpha)
ocaml(Analyses_manager)
ocaml(Annotations)
ocaml(Aorai)
ocaml(Asm_contracts)
ocaml(Ast)
ocaml(Ast_info)
ocaml(Bag)
ocaml(Base)
ocaml(Binary_cache)
ocaml(Bit_utils)
ocaml(Bitvector)
ocaml(Book_manager)
ocaml(Boot)
ocaml(Bottom)
ocaml(Cabs)
ocaml(Cabs2cil)
ocaml(Cabs_debug)
ocaml(Cabshelper)
ocaml(Cabsvisit)
ocaml(Callgraph)
ocaml(Cfg)
ocaml(Cil)
ocaml(CilE)
ocaml(Cil_const)
ocaml(Cil_datatype)
ocaml(Cil_descriptive_printer)
ocaml(Cil_printer)
ocaml(Cil_state_builder)
ocaml(Cil_types)
ocaml(Cilconfig)
ocaml(Clexer)
ocaml(Clone)
ocaml(Cmdline)
ocaml(Command)
ocaml(Config)
ocaml(Constant_Propagation)
ocaml(Cparser)
ocaml(Cprint)
ocaml(Cvalue)
ocaml(Dataflow)
ocaml(Dataflow2)
ocaml(Dataflows)
ocaml(Datatype)
ocaml(Db)
ocaml(Debug_manager)
ocaml(Descr)
ocaml(Description)
ocaml(Design)
ocaml(Dominators)
ocaml(Dynamic)
ocaml(Emitter)
ocaml(Errorloc)
ocaml(Escape)
ocaml(Exn_flow)
ocaml(Extlib)
ocaml(FCDynlink)
ocaml(FCHashtbl)
ocaml(FCMap)
ocaml(FCSet)
ocaml(File)
ocaml(File_manager)
ocaml(Filecheck)
ocaml(Filepath)
ocaml(Filetree)
ocaml(Filter)
ocaml(Floating_point)
ocaml(Frama_c_init)
ocaml(From)
ocaml(Frontc)
ocaml(Function_Froms)
ocaml(Fval)
ocaml(Globals)
ocaml(Gtk_form)
ocaml(Gtk_helper)
ocaml(Gui_parameters)
ocaml(Gui_printers)
ocaml(Help_manager)
ocaml(History)
ocaml(Hook)
ocaml(Hptmap)
ocaml(Hptmap_sig)
ocaml(Hptset)
ocaml(Impact)
ocaml(Indexer)
ocaml(Infer_annotations)
ocaml(Inout)
ocaml(Inout_type)
ocaml(Int_Base)
ocaml(Int_Intervals)
ocaml(Int_Intervals_sig)
ocaml(Integer)
ocaml(Ival)
ocaml(Journal)
ocaml(Json)
ocaml(Kernel)
ocaml(Kernel_function)
ocaml(Lattice_messages)
ocaml(Lattice_type)
ocaml(Launcher)
ocaml(Lexerhack)
ocaml(Lmap)
ocaml(Lmap_bitwise)
ocaml(Lmap_sig)
ocaml(Locations)
ocaml(Log)
ocaml(Logic_builtin)
ocaml(Logic_const)
ocaml(Logic_env)
ocaml(Logic_interp)
ocaml(Logic_lexer)
ocaml(Logic_parser)
ocaml(Logic_preprocess)
ocaml(Logic_print)
ocaml(Logic_ptree)
ocaml(Logic_typing)
ocaml(Logic_utils)
ocaml(Loop)
ocaml(LoopAnalysis)
ocaml(Machdeps)
ocaml(Map_Lattice)
ocaml(Menu_manager)
ocaml(Mergecil)
ocaml(Messages)
ocaml(Metrics)
ocaml(Nonterm)
ocaml(Obfuscator)
ocaml(Occurrence)
ocaml(Offsetmap)
ocaml(Offsetmap_bitwise_sig)
ocaml(Offsetmap_lattice_with_isotropy)
ocaml(Offsetmap_sig)
ocaml(Oneret)
ocaml(Ordered_stmt)
ocaml(Origin)
ocaml(Parameter_builder)
ocaml(Parameter_category)
ocaml(Parameter_customize)
ocaml(Parameter_sig)
ocaml(Parameter_state)
ocaml(Pdg)
ocaml(PdgIndex)
ocaml(PdgMarks)
ocaml(PdgTypes)
ocaml(Plugin)
ocaml(Postdominators)
ocaml(Precise_locs)
ocaml(Pretty_source)
ocaml(Pretty_utils)
ocaml(Print_api)
ocaml(Printer)
ocaml(Printer_api)
ocaml(Printer_builder)
ocaml(Project)
ocaml(Project_manager)
ocaml(Project_skeleton)
ocaml(Property)
ocaml(Property_navigator)
ocaml(Property_status)
ocaml(Ptests_config)
ocaml(Qed)
ocaml(Qstack)
ocaml(Rangemap)
ocaml(Report)
ocaml(Rgmap)
ocaml(Rmtmps)
ocaml(RteGen)
ocaml(Scope)
ocaml(Security_slicing)
ocaml(Service_graph)
ocaml(Slicing)
ocaml(SlicingInternals)
ocaml(SlicingTypes)
ocaml(Source_manager)
ocaml(Source_viewer)
ocaml(Sparecode)
ocaml(Special_hooks)
ocaml(State)
ocaml(State_builder)
ocaml(State_dependency_graph)
ocaml(State_selection)
ocaml(State_topological)
ocaml(Statuses_by_call)
ocaml(Stmts_graph)
ocaml(Structural_descr)
ocaml(Task)
ocaml(Tr_offset)
ocaml(Trace)
ocaml(Translate_lightweight)
ocaml(Type)
ocaml(Typed_parameter)
ocaml(Unicode)
ocaml(Unmarshal)
ocaml(Unmarshal_nums)
ocaml(Unmarshal_z)
ocaml(Unroll_loops)
ocaml(Users)
ocaml(Utf8_logic)
ocaml(Value)
ocaml(Value_types)
ocaml(Variadic)
ocaml(Vector)
ocaml(Visitor)
ocaml(Warning_manager)
ocaml(Wfile)
ocaml(Widen_type)
ocaml(Widget)
ocaml(Wp)
ocaml(Wpane)
ocaml(Wtable)
ocaml(Wtext)
ocaml(Wto)
ocaml(Wto_statement)
ocaml(Wutil)
Requires :
