Fri, 13 Dec 2019 20:49:45 UTC

Information for RPM frama-c-1.10-13.fc22.armv7hl.rpm

ID5393012
Nameframa-c
Version1.10
Release13.fc22
Epoch
Archarmv7hl
SummaryFramework for source code analysis of C software
DescriptionFrama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
Build Time2014-08-16 15:13:55 GMT
Size20931444
68cfa5af9b92f073f578819f4db0ab7c
LicenseLGPLv2 and GPLv2 and GPLv2+ and BSD and (QPL with exceptions)
Buildrootf22-build-2266393-411375
Provides
appdata()
appdata(frama-c-gui.appdata.xml)
application()
application(frama-c-gui.desktop)
frama-c = 1.10-13.fc22
frama-c(armv7hl-32) = 1.10-13.fc22
frama-c-devel = 1.10-13.fc22
ocaml(Abstract_interp) = 644371f9dabf78005ba9814bb7849e66
ocaml(Alarms) = b89f9e24157fd589b9b0bc6662f539fa
ocaml(Allocates) = 70ece5ca96f0112a4024dc0c11166ec7
ocaml(Alpha) = f733e4553a860420e2f83b9282a67d7d
ocaml(Analyses_manager) = 0d68202eb83603dc410dae5432cd99a9
ocaml(Annotations) = cd536bcd5767a231f1e56a164fe7aeaf
ocaml(Aorai) = f1569ed968585f138c26276084782026
ocaml(Ast) = b9f764889aff27f00fe711a187532ff7
ocaml(Ast_info) = 35492f6f3afea20aea70fbed208d8f55
ocaml(Availexpslv) = ab17231efe20ad7cf9cf93ea7b1889b9
ocaml(Bag) = f140e3b826f3ed0de274426b9890aadb
ocaml(Base) = 91f3d72382a06823b8379753f35cb810
ocaml(Big_int_Z) = 45560a7f100b84a205c8bc76a737b148
ocaml(Binary_cache) = 7794f6a475406898ae7bd34db267b869
ocaml(Bit_utils) = 0fdd54c3412e63abef7740642d9976fa
ocaml(Bitvector) = fdb1ead7e5784fd2f756247c45044c4c
ocaml(Book_manager) = 32f1670681947acbbb17b4f68402dc20
ocaml(Boot) = 2d3b5ae3f1bad4f400083a5081f174cd
ocaml(Buckx) = 03752fb302cd1ef1bfa7da0ad6740d68
ocaml(Cabs) = d73512b0ee149d314479668ee4d0aebd
ocaml(Cabs2cil) = 4d84aaa3d404cc14103f1ca511efce08
ocaml(Cabs_debug) = 4c65cb6b1fa02f3f1d2e21f4644b1ae3
ocaml(Cabsbranches) = ca7e89f1baa406c9ccbeae612d8b68eb
ocaml(Cabscond) = c383d34d8d4021803bbe5599308f484a
ocaml(Cabshelper) = a69f39be8419998ff69dedd8eff371b5
ocaml(Cabsvisit) = ed570810a8fcce261901d20c87461a05
ocaml(Callgraph) = a854d3b82ec752689824eb70bc7427ed
ocaml(Cfg) = b9ec3793c6d893d2e21a878c95dfafbe
ocaml(Cil) = 06383dd911181a74907a0fc3936cba83
ocaml(CilE) = 383ef2540f6b2913e560f407a45d5e38
ocaml(Cil_const) = bd2f7eff333f1ae03a3f965e04107ed7
ocaml(Cil_datatype) = cfacdd8dbbf9b39bca41b04f364e5578
ocaml(Cil_descriptive_printer) = 4b765e7d198009a5d3daa60713ee9f39
ocaml(Cil_printer) = ca5074536e4bc9a43446caa3a9101fa0
ocaml(Cil_state_builder) = 565baa503e8468d98dcf02b63236f634
ocaml(Cil_types) = b3703f1c71f5ba14fcdc35cab17c8fab
ocaml(Cilconfig) = d66a475b57c9ee4cb0f76cfbc847e514
ocaml(Cilmsg) = 555bd9fc1b79790b870d8319d69ebaa5
ocaml(Clexer) = e1cc48d50830f9aae1b3252bad968b0a
ocaml(Cmdline) = b20f2b44fd803da6c9046e57cee41e29
ocaml(Command) = feeec455eacdf007762702f614e8c419
ocaml(Config) = 6ada61969dc3c728f138a3834d01d127
ocaml(Cparser) = dd8523ed2220df833d61b972ebcdc8d8
ocaml(Cprint) = 15b5b23d972618dd80a29a6069dfb473
ocaml(Cvalue) = e566d3db92200398576c3802127619f7
ocaml(Dataflow) = aed95410bc0b94f162d914606e253f0d
ocaml(Dataflow2) = 5820e56ffac32bb01c18df1d93970553
ocaml(Dataflows) = 16da641703c5eaffcb6fb759d1106177
ocaml(Datatype) = 41a03c32c13794daf71fbed27b54de1a
ocaml(Db) = 1a8cedf2f7d794f6676a19902b2e884f
ocaml(Deadcodeelim) = 3e29daaaff3b5762f5aeae1efe4ae0ba
ocaml(Debug_manager) = f93fd7eace6ed047793886c3f2b497eb
ocaml(Descr) = 024fb187c8973cd99e9b91daefa111d3
ocaml(Description) = b50e32992b7026fb33d35e5f8524c5c2
ocaml(Design) = 9c07fafacfd8bb96aa5e05dd4d005830
ocaml(Dominators) = 435d3964c1e1eac5e12a2f635ffe3f72
ocaml(Dynamic) = 5526a193a14f3d4dac188c0fb840d70b
ocaml(Dynlink_common_interface) = 061503fc315cf5aca6be6c48dc365d6e
ocaml(Emitter) = 8cac607ee82e3250d8fecca33d6d22f3
ocaml(Errorloc) = 2458cb90d60eca93ef893a87091e7e04
ocaml(Escape) = 0a7a8f241c5cc983a8faf185e94e5835
ocaml(Expcompare) = 42ddd06d4dc35ca33873d38048ead5b9
ocaml(Extlib) = b761751b7fc733c052c36f7f95965580
ocaml(FCHashtbl) = 794691e68e2dce32e89b11ef8b6d7d50
ocaml(FCMap) = 828d6319ddfd0ce9ae2341285250ae00
ocaml(FCSet) = 49a039466f90ec47e862db34825cc874
ocaml(File) = 4a9ebb670ebdff67f797d67ea8304910
ocaml(File_manager) = 943f2baf770a1f217e78239527c78ae6
ocaml(Filepath) = 69e3512d58c6a17d74c576cc14d3102b
ocaml(Filetree) = f1873f499bd423e51299ddc4b811188a
ocaml(Filter) = d9e094d6003e3174308a5f89ea292ff1
ocaml(Floating_point) = fa6d1460b77d6bfd0a0c6b87230c89d0
ocaml(Frontc) = 9ca8800c4c7d76beccb33b47a797bfea
ocaml(Function_Froms) = cd0d5d248fd9b333c9248fef2f4ac8ac
ocaml(Globals) = 70ec8ac725a6e394de1722d11fbe52bd
ocaml(Gtk_form) = ede9d02827d8d1eac20d0732851f03b8
ocaml(Gtk_helper) = a0ef5a093f889e77969bad02ca06bb27
ocaml(Gui_init) = 263702ce6decdba08959924a5ba997ec
ocaml(Gui_parameters) = f1a95a59b3e98ab8c4c14d158d289b17
ocaml(Help_manager) = a6e16d2450257fa07bf7e268a017b38f
ocaml(History) = 982e4d19176210be03f38842bc5204d6
ocaml(Hook) = f455badfce81f3dd932408dda16313e5
ocaml(Hptmap) = 3d92ecb64995b803ddfa4e8688748d10
ocaml(Hptset) = 810ee2c645676fc9e6ae9a6b9592f87f
ocaml(Indexer) = c0442372ceb135734d10bc345264047f
ocaml(Infer_annotations) = ceb07fb8399c2aa4e153054da0d2f5a9
ocaml(Inout_type) = 3aa90264b530a0add83c7735b585096e
ocaml(Int_Base) = 1dd25222a94cd97011eb4c8f4959d0f7
ocaml(Int_Interv) = 4f30fde0c45b43989955d6d608ca8699
ocaml(Int_Interv_Map) = 6614471e8b64b3f906c4bcb3f4e25246
ocaml(Integer) = 212e61137aa021b2055ce4d75c87fad1
ocaml(Ival) = 9b42b18e56a6e8b8b0d918feacbaaed5
ocaml(Journal) = 413c95ef7397a444b645414d7d074919
ocaml(Kernel) = ed6d60e4f3cb592fd18a0a6189a9ef03
ocaml(Kernel_function) = 938234c8863678621fa33b1c4542f16c
ocaml(Lattice_Interval_Set) = 23b20e16f317d4e412870d1b04cd1adc
ocaml(Lattice_type) = 45bca459f809cdf15a867c4ffef92d09
ocaml(Launcher) = d55692899a12b5045fe0e27e7df5a2a1
ocaml(Lexerhack) = a69000f2f515a7d8ed52f7072114cc28
ocaml(Liveness) = c343ae29470d894a10673dca6c48a41c
ocaml(Lmap) = 1fb8ebae8fdb8423253a4757d7404317
ocaml(Lmap_bitwise) = 730e0f53601609da291d0fc7b247b547
ocaml(Lmap_sig) = e4c4cf2f413a3fbdbe495a4b07e7bbc5
ocaml(Locations) = a7a5e67d4a3439dcafff02429e3e3db5
ocaml(Log) = 35237d46f335c6cb52b1485557208ee2
ocaml(Logic_builtin) = 3602c538fe7f877e2049624621ca084f
ocaml(Logic_const) = 3f390640bf61d2603d8deaab0b498b3a
ocaml(Logic_env) = c8ecc7ad61136e728a63d72556c62940
ocaml(Logic_interp) = a5a388d0ff6a74eee3321a3d7afdf0e0
ocaml(Logic_lexer) = 82111704c49d177dfe3e3355c5f42ce9
ocaml(Logic_parser) = 35bcb9b301ba90efa8fddc8fb741b5d2
ocaml(Logic_preprocess) = eab8cf92a5d7baa68281ff5454978b97
ocaml(Logic_print) = 6bb69e6056ea5f310eef7883b3f0ce33
ocaml(Logic_ptree) = bf39b92f210614e258435670e03a8751
ocaml(Logic_typing) = 9e86ce388a789ae97a971562b0133571
ocaml(Logic_utils) = 30abfd326ad5fd2372d8401086a4b86d
ocaml(Loop) = dfb13c23216b8b863dafacde74e1766f
ocaml(Machdep_ppc_32) = 5d8845b7c1cae6405fc028c6669e3799
ocaml(Machdep_x86_16) = e376b63ff4cb87176efc1ecf08524057
ocaml(Machdep_x86_32) = d1de76dc6c71efb96e8726e191e1c43a
ocaml(Machdep_x86_64) = c9e513ba4480e07b0510f931347d6a2c
ocaml(Map_Lattice) = 04460eefaf48806a31c10a875b26ecac
ocaml(Menu_manager) = b1133d89b7be4d7b63ce816fe7b61a5a
ocaml(Mergecil) = dbea72baf9440b792dcd010f5c324b33
ocaml(Messages) = 7ffdb7ea07136928ba28bb3880c56136
ocaml(Obfuscator) = e78b384c409722190eb91bfbb793a488
ocaml(Offsetmap) = e6c96e94764df98941fbda6b832dff1d
ocaml(Offsetmap_bitwise) = 9e6c0c9794d04ba9088eb23a4d4a115b
ocaml(Offsetmap_lattice_with_isotropy) = 1116eae2703ad12b497fc910b8655e91
ocaml(Offsetmap_sig) = 0fe8ffefe56130ffb6dee60de5095999
ocaml(Oneret) = 9ba840b025ceec90c89ea6b024ac848d
ocaml(Ordered_stmt) = bbfe33983f396ed6f26ad67b9bc91a6b
ocaml(Origin) = f1e9d7215285e1bbee11d54eb4bcb316
ocaml(Parameter_builder) = ea0790e49c968d9c4be20319640182c3
ocaml(Parameter_customize) = 3f1fafd0a189fad8e9eabb5e24688a00
ocaml(Parameter_sig) = 65f7a01c390a3156ef4236f57f759b59
ocaml(Parameter_state) = 3012b500e0f25f9d824e7dc25c37ff04
ocaml(PdgIndex) = 0c8c1740c23fc6a5a22096cf472c30c9
ocaml(PdgMarks) = a26108a4b05ecb43695ba739307a2c87
ocaml(PdgTypes) = da70db426f55c37f97d2b115a1f7d5e2
ocaml(Plugin) = a979d6554b9c73cd3de41177c45dcc8e
ocaml(Pretty_source) = b7b50914b714acfbe4676dc046ab379e
ocaml(Pretty_utils) = ac710d941f2005bb1ca75e76e487b546
ocaml(Printer) = 373f77977b109cf883bbb1d7226aab16
ocaml(Printer_api) = 287a8e52c47d49b3ea4223dfa92105cc
ocaml(Printer_builder) = d5694581a5d713d902fa4d3292a7c2b9
ocaml(Project) = 7b13d2d949d114d9c689d9c366522a3a
ocaml(Project_manager) = 09cf22878d951043239d4ff293e217ac
ocaml(Project_skeleton) = 1ddcea44310a972cd4cb32cb7c3087b4
ocaml(Property) = 6a3af1cba00cc35c967b577f7605b56c
ocaml(Property_navigator) = 3305e0df07364770fbcd61f30a24ca8d
ocaml(Property_status) = 36b53a0c52b09c4d0d6086499fdd15ee
ocaml(Ptests_config) = 374de086b445e1057fbd85f089715b4b
ocaml(Q) = 96a81274b6a23322b007610f56ef5904
ocaml(Qed) = 10f44566335f7e6f926570158a5d29c5
ocaml(Qstack) = 1c21d626115402188f00a579e4d5efd2
ocaml(Rangemap) = d578b2e4c09790b7c0632e6d5664ff49
ocaml(Reachingdefs) = 3f440c961e064ae34cf3aaafd38ea913
ocaml(Report) = 7d624aec7fb1dcf44a9f0b9f3132b714
ocaml(Rmciltmps) = cad46a1897e3d3c44d5da2703dc021f5
ocaml(Rmtmps) = 59b98c1e5032fdb655561f3098914dd1
ocaml(Security_slicing) = 7b770812713591b7dcc02a61b84ac4d7
ocaml(Service_graph) = 920d1604a539c8fccf7afc14db3eb6ae
ocaml(SlicingInternals) = c43ef2440e9d3ffcfb2179223b120a53
ocaml(SlicingTypes) = ac3fce0c7519f687bbf6e41d3d38bbe6
ocaml(Source_manager) = b4c848069d35a6211220b19bd5945d66
ocaml(Source_viewer) = 7d38b3a6b4a889ec556d85cbdfbd4157
ocaml(Special_hooks) = 3c301cf93926d718265297fc76cc445d
ocaml(State) = 748ad28ffdded63a1db6dcaac9c4afed
ocaml(State_builder) = 204970244ec169a367d21dbed6efb15a
ocaml(State_dependency_graph) = 3449167dcaef220b73949c407b602733
ocaml(State_selection) = 2bb31e56877d60cdfde412946d6ed5fb
ocaml(State_topological) = a3d239cf899ba4595b69556fe387f725
ocaml(Statuses_by_call) = 03e5a2d69570050edc57948d5a230144
ocaml(Stmts_graph) = c8f776c7dab04fa9c582fd57d5958259
ocaml(Structural_descr) = 7b09a3115c40c05e26bbe61c7a1f4b67
ocaml(Sysutil) = ff942d361f466f7c524613832e895eac
ocaml(Task) = e224e2d803eb9caefc3e7772484f2e4d
ocaml(Toolbox) = 36d7cd96fe0d152330c08d70057fe0be
ocaml(Tr_offset) = 9f2e676e246ad6222a17237f57f9f334
ocaml(Trace) = dc24c91b8a0e3dcc2f08e2250e0f6d82
ocaml(Translate_lightweight) = 65440141890568e07c1e33ce09f134cb
ocaml(Type) = bb6e5c78af698b4b1e400895803c931a
ocaml(Typed_parameter) = 593b5bfbe06289f003783f343219d8f9
ocaml(Unicode) = 0420b5dfebe8180273f91b573b0c0b07
ocaml(Unmarshal) = e60820e1026e7b6d748a76ba1ec4d13a
ocaml(Unmarshal_nums) = 2bf8f1da790ca572a048a18c2aa23bab
ocaml(Unroll_loops) = 36a29a952014be58df0718bdde890e35
ocaml(Unz) = 1d1fc2683bf82a9ea6b68dae5b15e977
ocaml(Usedef) = 970f1d0d9e55a368cfd1ef20cea88366
ocaml(Utf8_logic) = 228a2514b0abc8cb640aa2292fe468e1
ocaml(Value_messages) = c426fa3a9c1f0ee3dddb437f7a20fd25
ocaml(Value_types) = d378a77a945b869282c5dfb0f1c6686a
ocaml(Vector) = 3c66098a5afc4004f1a8b9c4cfff97aa
ocaml(Visitor) = c9a358de1dd4fd0f630cebea69802cd5
ocaml(Warning_manager) = ef348c15c7ace5a1eace9cb55834a53e
ocaml(Widen_type) = d079cf45af1bbf2dad0a182f640ca1ec
ocaml(Wp) = eaf4a9ede5c4793a6229fe0b1e565ae3
ocaml(Z) = 8d96aa7691264bc9e019ccb43b9eaa32
Obsoletes
frama-c-devel < 1.9-1
Conflicts No Conflicts
Requires
/bin/sh
/bin/sh
cpp
graphviz
hicolor-icon-theme
ld-linux-armhf.so.3
ld-linux-armhf.so.3(GLIBC_2.4)
libart_lgpl_2.so.2
libatk-1.0.so.0
libc.so.6
libc.so.6(GLIBC_2.11)
libc.so.6(GLIBC_2.15)
libc.so.6(GLIBC_2.4)
libc.so.6(GLIBC_2.7)
libcairo.so.2
libdl.so.2
libdl.so.2(GLIBC_2.4)
libfontconfig.so.1
libfreetype.so.6
libgcc_s.so.1
libgcc_s.so.1(GCC_3.5)
libgdk-x11-2.0.so.0
libgdk_pixbuf-2.0.so.0
libgio-2.0.so.0
libglib-2.0.so.0
libgmp.so.10
libgnomecanvas-2.so.0
libgobject-2.0.so.0
libgtk-x11-2.0.so.0
libgtksourceview-2.0.so.0
libm.so.6
libm.so.6(GLIBC_2.4)
libpango-1.0.so.0
libpangocairo-1.0.so.0
libpangoft2-1.0.so.0
libpthread.so.0
libpthread.so.0(GLIBC_2.4)
ltl2ba
ocaml(Abstract_interp) = 644371f9dabf78005ba9814bb7849e66
ocaml(Alarms) = b89f9e24157fd589b9b0bc6662f539fa
ocaml(Annotations) = cd536bcd5767a231f1e56a164fe7aeaf
ocaml(Arg) = 99c1d091bc4627f236e388a8eec2b0d1
ocaml(Array) = 9125e0607c9ad02018c9eb4672142241
ocaml(Ast) = b9f764889aff27f00fe711a187532ff7
ocaml(Ast_info) = 35492f6f3afea20aea70fbed208d8f55
ocaml(Availexpslv) = ab17231efe20ad7cf9cf93ea7b1889b9
ocaml(Bag) = f140e3b826f3ed0de274426b9890aadb
ocaml(Base) = 91f3d72382a06823b8379753f35cb810
ocaml(Big_int) = 05cfd3c522fa6f81e61795896e13f82c
ocaml(Bigarray) = 0643187a8b562858118690c393d01c2e
ocaml(Bitvector) = fdb1ead7e5784fd2f756247c45044c4c
ocaml(Buffer) = a579f4a57e300ec755f84af883c1e51b
ocaml(Cabs) = d73512b0ee149d314479668ee4d0aebd
ocaml(Cabs2cil) = 4d84aaa3d404cc14103f1ca511efce08
ocaml(CamlinternalFormatBasics) = a88f91d0f04fd66bc0bbaaf347081e95
ocaml(CamlinternalLazy) = 122717041759525de93c0247d8e18b5a
ocaml(CamlinternalOO) = 3d0b4eb4525ba4274c8885d7124f7bbc
ocaml(Cfg) = b9ec3793c6d893d2e21a878c95dfafbe
ocaml(Char) = 60fd98ba6ff303baf9287e7bfb886f12
ocaml(Cil) = 06383dd911181a74907a0fc3936cba83
ocaml(CilE) = 383ef2540f6b2913e560f407a45d5e38
ocaml(Cil_const) = bd2f7eff333f1ae03a3f965e04107ed7
ocaml(Cil_datatype) = cfacdd8dbbf9b39bca41b04f364e5578
ocaml(Cil_printer) = ca5074536e4bc9a43446caa3a9101fa0
ocaml(Cil_types) = b3703f1c71f5ba14fcdc35cab17c8fab
ocaml(Clexer) = e1cc48d50830f9aae1b3252bad968b0a
ocaml(Cmdline) = b20f2b44fd803da6c9046e57cee41e29
ocaml(Command) = feeec455eacdf007762702f614e8c419
ocaml(Complex) = d0dcc1da3c694cf9a7e924c7832d1528
ocaml(Config) = 6ada61969dc3c728f138a3834d01d127
ocaml(Cparser) = dd8523ed2220df833d61b972ebcdc8d8
ocaml(Cvalue) = e566d3db92200398576c3802127619f7
ocaml(Dataflow2) = 5820e56ffac32bb01c18df1d93970553
ocaml(Datatype) = 41a03c32c13794daf71fbed27b54de1a
ocaml(Db) = 1a8cedf2f7d794f6676a19902b2e884f
ocaml(Descr) = 024fb187c8973cd99e9b91daefa111d3
ocaml(Description) = b50e32992b7026fb33d35e5f8524c5c2
ocaml(Design) = 9c07fafacfd8bb96aa5e05dd4d005830
ocaml(Digest) = eab54f58b34b8a6fdc763db6966614a1
ocaml(Dominators) = 435d3964c1e1eac5e12a2f635ffe3f72
ocaml(Dynamic) = 5526a193a14f3d4dac188c0fb840d70b
ocaml(Emitter) = 8cac607ee82e3250d8fecca33d6d22f3
ocaml(Escape) = 0a7a8f241c5cc983a8faf185e94e5835
ocaml(Expcompare) = 42ddd06d4dc35ca33873d38048ead5b9
ocaml(Extlib) = b761751b7fc733c052c36f7f95965580
ocaml(FCHashtbl) = 794691e68e2dce32e89b11ef8b6d7d50
ocaml(FCMap) = 828d6319ddfd0ce9ae2341285250ae00
ocaml(FCSet) = 49a039466f90ec47e862db34825cc874
ocaml(File) = 4a9ebb670ebdff67f797d67ea8304910
ocaml(Filename) = 3b889637b7a18c39de7a0d0f5d10432e
ocaml(Filepath) = 69e3512d58c6a17d74c576cc14d3102b
ocaml(Filetree) = f1873f499bd423e51299ddc4b811188a
ocaml(Floating_point) = fa6d1460b77d6bfd0a0c6b87230c89d0
ocaml(Format) = a9de4c8c622e30d6eb221ce41563dbf4
ocaml(Function_Froms) = cd0d5d248fd9b333c9248fef2f4ac8ac
ocaml(GBin) = d392c97d5bec3c25a0a0595cd4ede942
ocaml(GBroken) = 064afc9372b25fab89de2325c2c65c85
ocaml(GButton) = 61d12940d7bf50a6f4e9a32d6e988205
ocaml(GContainer) = 007dc2976831386fed24fd00a809d868
ocaml(GData) = 5236f75b1faf8fe64d7c374caaeed068
ocaml(GDraw) = deb7a227126b52043bc5519b151161a3
ocaml(GEdit) = 83d3dd6f59bd288827b698d16c345840
ocaml(GFile) = 05aea330fa10d6e2d396ea027ddd88a7
ocaml(GList) = 4909d8cf98f8e8f956ea00479f866185
ocaml(GMenu) = f84928de391b6315df1d96951b66ccb5
ocaml(GMisc) = 161d4cd9252bb825ad4e19148eb74495
ocaml(GObj) = aaf1de74e8c9dee7550f58369abca98b
ocaml(GPack) = 4d7c8eb30fd1b476f2da849ea6e7e3c5
ocaml(GPango) = b2af9fa41f04c5e8699264ffe966ab41
ocaml(GRange) = ac720facceae90ac0515d574bcde0eb6
ocaml(GSourceView2) = d318930dd87802b60b168e3350f0be5e
ocaml(GText) = b2bb75b3dd7a69438000a8efca8109d1
ocaml(GToolbox) = 944b16782ee4f1102194488520372586
ocaml(GTree) = b190f401b777f0a1359769385b715d03
ocaml(GWindow) = 8ab30202b121a14db1df8ea38d21c02a
ocaml(Gaux) = 9c477fcf5182f6d1fecc42a10f3a2c8d
ocaml(Gdk) = f378ca801294b82336e5c6c17354aafa
ocaml(GdkEnums) = 2c99eb1898f240797899825c644c4fdc
ocaml(GdkEvent) = 888bfbb798af9ae801076132037be1fb
ocaml(GdkPixbuf) = a1b5a3306079f3d871f6c3adeb832eae
ocaml(Glib) = 7d098f0053eb79a4a008853a8709ee1c
ocaml(Globals) = 70ec8ac725a6e394de1722d11fbe52bd
ocaml(Gobject) = 8fabf94d216e0676cd10475a3980989c
ocaml(Gpointer) = 80492fd4ff63211c14de1192a411bdf3
ocaml(Graph) = 8ede3d473dba32cc401c0c87df9b1140
ocaml(Gtk) = 9a345816482835fb1f0f6c5aa7cdd136
ocaml(GtkBase) = 4f8001bf79b115329fd07ece85eb7eb5
ocaml(GtkBaseProps) = dc65ac41f7aa1d0bbd231c92c119fa60
ocaml(GtkEnums) = 8d016d71012765f5a0e06ab7e5527e47
ocaml(GtkObject) = c1df190e867f2594045aedb7bbc69196
ocaml(GtkPack) = b8786d6ab9e2931e9a77a50385ee0e9f
ocaml(GtkPackProps) = 559f4df91787ab2e5d77661ed6139bbf
ocaml(GtkSignal) = a4071add636e687225f072fbe4363b56
ocaml(GtkSourceView2Props) = 66a6ec35f7d768647e75a965db8f4c86
ocaml(GtkStock) = 2bf84e80b0f2e25e5f85541bf9cdcd0f
ocaml(Gtk_form) = ede9d02827d8d1eac20d0732851f03b8
ocaml(Gtk_helper) = a0ef5a093f889e77969bad02ca06bb27
ocaml(Hashtbl) = bb8e269d690301a1c4ff14a08e96e83e
ocaml(Hook) = f455badfce81f3dd932408dda16313e5
ocaml(Hptmap) = 3d92ecb64995b803ddfa4e8688748d10
ocaml(Hptset) = 810ee2c645676fc9e6ae9a6b9592f87f
ocaml(Indexer) = c0442372ceb135734d10bc345264047f
ocaml(Inout_type) = 3aa90264b530a0add83c7735b585096e
ocaml(Int32) = f43b8a2972804b40e28b661b6fdf157a
ocaml(Int64) = 3565b288ec68024088360805650448dd
ocaml(Int_Base) = 1dd25222a94cd97011eb4c8f4959d0f7
ocaml(Int_Interv) = 4f30fde0c45b43989955d6d608ca8699
ocaml(Integer) = 212e61137aa021b2055ce4d75c87fad1
ocaml(Ival) = 9b42b18e56a6e8b8b0d918feacbaaed5
ocaml(Kernel) = ed6d60e4f3cb592fd18a0a6189a9ef03
ocaml(Kernel_function) = 938234c8863678621fa33b1c4542f16c
ocaml(Lattice_Interval_Set) = 23b20e16f317d4e412870d1b04cd1adc
ocaml(Lattice_type) = 45bca459f809cdf15a867c4ffef92d09
ocaml(Lazy) = 65801e9cdbd8c4e82df1f02f97116721
ocaml(Lexing) = 1be6a5484fb3cfb69d2c981438a7be62
ocaml(List) = 8988208489274193e4e3f69dc6ec2f75
ocaml(Liveness) = c343ae29470d894a10673dca6c48a41c
ocaml(Lmap_bitwise) = 730e0f53601609da291d0fc7b247b547
ocaml(Lmap_sig) = e4c4cf2f413a3fbdbe495a4b07e7bbc5
ocaml(Locations) = a7a5e67d4a3439dcafff02429e3e3db5
ocaml(Log) = 35237d46f335c6cb52b1485557208ee2
ocaml(Logic_const) = 3f390640bf61d2603d8deaab0b498b3a
ocaml(Logic_env) = c8ecc7ad61136e728a63d72556c62940
ocaml(Logic_lexer) = 82111704c49d177dfe3e3355c5f42ce9
ocaml(Logic_parser) = 35bcb9b301ba90efa8fddc8fb741b5d2
ocaml(Logic_ptree) = bf39b92f210614e258435670e03a8751
ocaml(Logic_typing) = 9e86ce388a789ae97a971562b0133571
ocaml(Logic_utils) = 30abfd326ad5fd2372d8401086a4b86d
ocaml(Map) = 770e6123e5460eeb42d3050f13c5ad53
ocaml(Menu_manager) = b1133d89b7be4d7b63ce816fe7b61a5a
ocaml(Nat) = 686f2f8952dd9baa88dd4347c14ba219
ocaml(Nativeint) = d9e04753374f7110b66feda40414e5e3
ocaml(Num) = 13c240f21464d6d07eee82c0eb67e515
ocaml(Obj) = 31e1329a4c3d9c2947b31f79b700fcfd
ocaml(Offsetmap_lattice_with_isotropy) = 1116eae2703ad12b497fc910b8655e91
ocaml(Offsetmap_sig) = 0fe8ffefe56130ffb6dee60de5095999
ocaml(OgtkSourceView2Props) = 0938d87cfc075fb4b232239e65a5d0e4
ocaml(Ordered_stmt) = bbfe33983f396ed6f26ad67b9bc91a6b
ocaml(Origin) = f1e9d7215285e1bbee11d54eb4bcb316
ocaml(Pango) = 417a7e0d48d089deebc156bb8f548b2f
ocaml(PangoEnums) = 1fed20f6b5f6241fd404fefb19408241
ocaml(Parameter_customize) = 3f1fafd0a189fad8e9eabb5e24688a00
ocaml(Parameter_sig) = 65f7a01c390a3156ef4236f57f759b59
ocaml(Parameter_state) = 3012b500e0f25f9d824e7dc25c37ff04
ocaml(Parsing) = 4f8cd2d8537563c7ea7ee2e5dc94e427
ocaml(PdgIndex) = 0c8c1740c23fc6a5a22096cf472c30c9
ocaml(PdgMarks) = a26108a4b05ecb43695ba739307a2c87
ocaml(PdgTypes) = da70db426f55c37f97d2b115a1f7d5e2
ocaml(Pervasives) = 4329e57fde14cc94b02a739d2595516b
ocaml(Plugin) = a979d6554b9c73cd3de41177c45dcc8e
ocaml(Pretty_source) = b7b50914b714acfbe4676dc046ab379e
ocaml(Pretty_utils) = ac710d941f2005bb1ca75e76e487b546
ocaml(Printer) = 373f77977b109cf883bbb1d7226aab16
ocaml(Printer_api) = 287a8e52c47d49b3ea4223dfa92105cc
ocaml(Printexc) = fb616c60404add6295347001c01bfcaa
ocaml(Printf) = eb49a17645c5ea2dd298430a3c986186
ocaml(Project) = 7b13d2d949d114d9c689d9c366522a3a
ocaml(Project_skeleton) = 1ddcea44310a972cd4cb32cb7c3087b4
ocaml(Property) = 6a3af1cba00cc35c967b577f7605b56c
ocaml(Property_status) = 36b53a0c52b09c4d0d6086499fdd15ee
ocaml(Queue) = 06a89c77a23c672d34cb97e6dfc5f30d
ocaml(Rangemap) = d578b2e4c09790b7c0632e6d5664ff49
ocaml(Ratio) = bec23091493c17e21a6e5e43114645b1
ocaml(Reachingdefs) = 3f440c961e064ae34cf3aaafd38ea913
ocaml(Set) = 487197ccd2fea64d52f1cd917061caf2
ocaml(SlicingInternals) = c43ef2440e9d3ffcfb2179223b120a53
ocaml(SlicingTypes) = ac3fce0c7519f687bbf6e41d3d38bbe6
ocaml(SourceView2Enums) = bf1335026b19bd658c22aa6fba086b33
ocaml(Source_manager) = b4c848069d35a6211220b19bd5945d66
ocaml(Stack) = 3397768ddbaaa5d9fe72a4c82cdc6eb9
ocaml(State) = 748ad28ffdded63a1db6dcaac9c4afed
ocaml(State_builder) = 204970244ec169a367d21dbed6efb15a
ocaml(State_dependency_graph) = 3449167dcaef220b73949c407b602733
ocaml(State_selection) = 2bb31e56877d60cdfde412946d6ed5fb
ocaml(Statuses_by_call) = 03e5a2d69570050edc57948d5a230144
ocaml(Str) = 98bc31cc4150a0a7e1fa3ceb656e6da5
ocaml(String) = d3baab1cf7edc2fec1fa9c9217140d10
ocaml(Structural_descr) = 7b09a3115c40c05e26bbe61c7a1f4b67
ocaml(Sys) = 0ce699458ce4430954d7e6a78874647c
ocaml(Sysutil) = ff942d361f466f7c524613832e895eac
ocaml(Task) = e224e2d803eb9caefc3e7772484f2e4d
ocaml(Toolbox) = 36d7cd96fe0d152330c08d70057fe0be
ocaml(Type) = bb6e5c78af698b4b1e400895803c931a
ocaml(Typed_parameter) = 593b5bfbe06289f003783f343219d8f9
ocaml(Unix) = 30a4cc8e5f4f902ea609c91caec48af7
ocaml(Unmarshal) = e60820e1026e7b6d748a76ba1ec4d13a
ocaml(Usedef) = 970f1d0d9e55a368cfd1ef20cea88366
ocaml(Utf8_logic) = 228a2514b0abc8cb640aa2292fe468e1
ocaml(Value_types) = d378a77a945b869282c5dfb0f1c6686a
ocaml(Vector) = 3c66098a5afc4004f1a8b9c4cfff97aa
ocaml(Visitor) = c9a358de1dd4fd0f630cebea69802cd5
ocaml(Weak) = 441c40816fe88175926465199a665458
ocaml(Z) = 8d96aa7691264bc9e019ccb43b9eaa32
ocaml(runtime) = 4.02.0
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 505 >>>
Name ascending sort Size
/usr/bin/frama-c7671284
/usr/bin/frama-c-gui10625444
/usr/bin/ptests719480
/usr/lib/frama-c36864
/usr/lib/frama-c/FCHashtbl.cmi6522
/usr/lib/frama-c/FCMap.cmi6555
/usr/lib/frama-c/FCSet.cmi7810
/usr/lib/frama-c/abstract_interp.cmi81713
/usr/lib/frama-c/alarms.cmi20310
/usr/lib/frama-c/allocates.cmi26769
/usr/lib/frama-c/alpha.cmi1513
/usr/lib/frama-c/analyses_manager.cmi206
/usr/lib/frama-c/annotations.cmi15507
/usr/lib/frama-c/ast.cmi2617
/usr/lib/frama-c/ast_info.cmi6416
/usr/lib/frama-c/availexpslv.cmi143013
/usr/lib/frama-c/bag.cmi2011
/usr/lib/frama-c/base.cmi78105
/usr/lib/frama-c/big_int_Z.cmi5819
/usr/lib/frama-c/binary_cache.cmi2282
/usr/lib/frama-c/bit_utils.cmi2946
/usr/lib/frama-c/bitvector.cmi1420
/usr/lib/frama-c/book_manager.cmi3357
/usr/lib/frama-c/boot.cmi2980
/usr/lib/frama-c/buckx.cmi2194
/usr/lib/frama-c/cabs.cmi9711
/usr/lib/frama-c/cabs2cil.cmi6305
/usr/lib/frama-c/cabs_debug.cmi4279
/usr/lib/frama-c/cabsbranches.cmi902
/usr/lib/frama-c/cabscond.cmi2042
/usr/lib/frama-c/cabshelper.cmi3210
/usr/lib/frama-c/cabsvisit.cmi12137
/usr/lib/frama-c/callgraph.cmi2262
/usr/lib/frama-c/cfg.cmi1489
/usr/lib/frama-c/cil.cmi152746
/usr/lib/frama-c/cilE.cmi5190
/usr/lib/frama-c/cil_const.cmi3389
/usr/lib/frama-c/cil_datatype.cmi841999
/usr/lib/frama-c/cil_descriptive_printer.cmi808
/usr/lib/frama-c/cil_printer.cmi47226
/usr/lib/frama-c/cil_state_builder.cmi9337
/usr/lib/frama-c/cil_types.cmi25346
/usr/lib/frama-c/cilconfig.cmi1893
/usr/lib/frama-c/cilmsg.cmi468
/usr/lib/frama-c/clexer.cmi1355
/usr/lib/frama-c/cmdline.cmi5853
/usr/lib/frama-c/command.cmi3198
/usr/lib/frama-c/config.cmi854
/usr/lib/frama-c/cparser.cmi6874
/usr/lib/frama-c/cprint.cmi4953
Component of No Buildroots