معرفی شرکت ها

ocaml-cil-1.7.3-77.fc38.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

CIL - Infrastructure for C Program Analysis and Transformation
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته ocaml-cil
نام فایل بسته ocaml-cil-1.7.3-77.fc38.x86_64.rpm
نسخه بسته 1.7.3
انتشار بسته 77.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 12
هاست سازنده buildvm-x86-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://github.com/cil-project/cil
مجوز BSD
حجم دانلود 2.9M
حجم نصب 8.147M
CIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. CIL is both lower-level than abstract-syntax trees, by clarifying ambiguous constructs and removing redundant ones, and also higher-level than typical intermediate languages designed for compilation, by maintaining types and a close relationship with the source program. The main advantage of CIL is that it compiles all valid C programs into a few core constructs with a very clean semantics. Also CIL has a syntax-directed type system that makes it easy to analyze and manipulate C programs. Furthermore, the CIL front-end is able to process not only ANSI-C programs but also those using Microsoft C or GNU C extensions. If you do not use CIL and want instead to use just a C parser and analyze programs expressed as abstract-syntax trees then your analysis will have to handle a lot of ugly corners of the language (let alone the fact that parsing C itself is not a trivial task). In essence, CIL is a highly-structured, "clean" subset of C. CIL features a reduced number of syntactic and conceptual forms. For example, all looping constructs are reduced to a single form, all function bodies are given explicit return statements, syntactic sugar like "->" is eliminated and function arguments with array types become pointers.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-cil-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-1.7.3-77.fc38.src.rpm 1.7.3 i686 Fedora Everything
ocaml-cil-cilly-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-cilly-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything
ocaml-cil-devel-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-devel-1.7.3-77.fc38.i686.rpm 1.7.3 i686 Fedora Everything
ocaml-cil-devel-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything
ocaml-cil-doc-1.7.3-77.fc38.aarch64.rpm 1.7.3 aarch64 Fedora Everything
ocaml-cil-doc-1.7.3-77.fc38.x86_64.rpm 1.7.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
= b82848e43eeb254591b213981d609a35 ocaml(Alpha)
= 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(Big_int)
= bc6a7f67079de381f0903259515a2d7a ocaml(Bitmap)
= 52bb6204fca4af92a788ee8627ee6646 ocaml(Cabs)
= 662ff2fe6936737f404dbf7ed47b5cb1 ocaml(Cabs2cil)
= 107c7cf35a2451772d85117c9ddccc68 ocaml(Cabshelper)
= 6b23dc9a3c6b2e62710f412071ed79e6 ocaml(Cabsvisit)
= 3056252b0f7bc801fe0a58dc4a2840a3 ocaml(Callgraph)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= aea913efb75d4b8c0600eeba0222f7d8 ocaml(CamlinternalOO)
= cea73744fc16efec2ac9f1f686d2fef3 ocaml(Cfg)
= 496c797e2d0a5ffb34fa76808d7826bd ocaml(Cil)
= 9fd2e4bf47ba51f6e86dbe8360a7d940 ocaml(Cilint)
= 2c5e62b8f840f1cdf2a11fcd7c666b76 ocaml(Ciltools)
= 6c8d368376b8d18aada070c2a3f9a57b ocaml(Cilutil)
= aa6cbfa1e4fdb63ce2d50925d0e0e2be ocaml(Cilversion)
= c5abfa613f3a6585995a8b6820ea996a ocaml(Clexer)
= acf1933eb230acbffc12c0738f0f8f88 ocaml(Clist)
= 7ca7f852ee2b100c699c7b8e14dfc5cf ocaml(Cparser)
= 0a9bda73a44c35f9bcca86882d16512b ocaml(Cprint)
= 55c5de69aeaa19611565e4ef72c8b764 ocaml(Dataflow)
= 3f770fd2a7c58ffe173a26dd5e583b6f ocaml(Errormsg)
= 9638fe8cfab20fcb7b94d22ed1594766 ocaml(Escape)
= c3aba6dca9afb773f9bb7fa9741dc306 ocaml(Expcompare)
= aae552be3e3c16a51ee851a7e5d73d87 ocaml(Formatlex)
= 723d1c2c5511b1e0497fc8c8fb556888 ocaml(Formatparse)
= 7f9ec5d77e88c277482ca32b0d8714c7 ocaml(Frontc)
= f36a5312917ff80be57b6b3985cd9c32 ocaml(GrowArray)
= cc54c4ce3b3dfbe872fc5496374a4fd7 ocaml(Heap)
= 3b9506fd5f5fc74445d33d48316ffea1 ocaml(Inthash)
= 8e7601f8e0da2f2bbf6813100d112bc8 ocaml(Lexerhack)
= 179d4e3c1e6cbe4912ae649832547cf8 ocaml(Liveness)
= 48223b6a3648aae2fdc1b7a888ff273b ocaml(Llvmgen)
= c6039e16ba9899e4a8b953d1fc899b93 ocaml(Llvmssa)
= f53105e0df1f38369cb81c14ca067add ocaml(Llvmutils)
= 454b660f5e24c505312f50201ec27436 ocaml(Longarray)
= cc59e5bc86beddf8191472cd69102495 ocaml(Machdep)
= d4b6285d6bafebb11ad3267af0a3c524 ocaml(Machdepenv)
= 87a4f12b6b1bb4735747a2f72c59b2bc ocaml(Mergecil)
= cf53074211ea56c636ac753b3faa2286 ocaml(Nat)
= 96faf0f89c01af212376b2f1835f90e6 ocaml(Olf)
= 5ccf7b34a8ffc056dc79887eff2a3849 ocaml(Patch)
= ebba4ae3652156cb46358764c2e1159e ocaml(Pretty)
= a20a240c2640269416b17d6832fc6891 ocaml(Ptranal)
= ab0cef94983d7a4c22cfddc7e40c8387 ocaml(Reachingdefs)
= 3da73dde4b65326f38929c6009e4d90f ocaml(Rmtmps)
= cb39434a0f4f576e5cc26d9cd4142191 ocaml(Setp)
= bf96368b9c982964a325435255d2f729 ocaml(Stats)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Arg)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 3d02c33317c0108c61e7a5eefa37519a ocaml(Stdlib__Bytes)
= 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Char)
= 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Filename)
= c3ec15218bd26e175e6d959e216eb39a ocaml(Stdlib__Gc)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Int64)
= c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 182731e5f563b7657acd24ad778f3615 ocaml(Stdlib__Marshal)
= 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Nativeint)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Parsing)
= dc77fedcffc67c0119b789c66d5ef7bf ocaml(Stdlib__Pervasives)
= ae914d0568e8b6e482a66bbd62a4432f ocaml(Stdlib__Printexc)
= bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Printf)
= b066724fe533c7b8fc9b521e37aedad8 ocaml(Stdlib__Queue)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__Stack)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 514c63e7d96516ff4c601fe47900a52d ocaml(Str)
= 4e1ed3188cc5f7afeab198c060857ad0 ocaml(Trace)
= 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Unix)
= 85b708e2af6895499eab5bb465b9f44b ocaml(Uref)
= f309a9733c624d8fbd3447def0e69d5d ocaml(Usedef)
= e90a9f65caf1da437ba255864cd58918 ocaml(Util)
= c65ce38a1c0f00d3dd501b0476edad54 ocaml(Whitetrack)


ارائه دهنده

مقدار نام
= b82848e43eeb254591b213981d609a35 ocaml(Alpha)
= d8a8239ca612bcdf9292556ee0eb045e ocaml(Availexps)
= cd8264098bcb8f4fe99de30c11f2faa9 ocaml(Availexpslv)
= bc6a7f67079de381f0903259515a2d7a ocaml(Bitmap)
= 52bb6204fca4af92a788ee8627ee6646 ocaml(Cabs)
= 662ff2fe6936737f404dbf7ed47b5cb1 ocaml(Cabs2cil)
= 107c7cf35a2451772d85117c9ddccc68 ocaml(Cabshelper)
= 6b23dc9a3c6b2e62710f412071ed79e6 ocaml(Cabsvisit)
= 3056252b0f7bc801fe0a58dc4a2840a3 ocaml(Callgraph)
= 63a93775f78b42dfa98d77bf058eaf9b ocaml(Canonicalize)
= cea73744fc16efec2ac9f1f686d2fef3 ocaml(Cfg)
= c3eadc30a8aba6bfa64b44262a7760e1 ocaml(Check)
= 496c797e2d0a5ffb34fa76808d7826bd ocaml(Cil)
= 9fd2e4bf47ba51f6e86dbe8360a7d940 ocaml(Cilint)
= a09784540e8ec9daa86495baa0605c00 ocaml(Cillower)
= 9c357a33d77af92010491aee99b3d606 ocaml(Ciloptions)
= 2c5e62b8f840f1cdf2a11fcd7c666b76 ocaml(Ciltools)
= 6c8d368376b8d18aada070c2a3f9a57b ocaml(Cilutil)
= aa6cbfa1e4fdb63ce2d50925d0e0e2be ocaml(Cilversion)
= c5abfa613f3a6585995a8b6820ea996a ocaml(Clexer)
= acf1933eb230acbffc12c0738f0f8f88 ocaml(Clist)
= 7ca7f852ee2b100c699c7b8e14dfc5cf ocaml(Cparser)
= 0a9bda73a44c35f9bcca86882d16512b ocaml(Cprint)
= 55c5de69aeaa19611565e4ef72c8b764 ocaml(Dataflow)
= 95ab4c55de1cf8c3c24d3c79675bc2ae ocaml(Dataslicing)
= 1af5bd88a479d26604ff50f15fad5f47 ocaml(Deadcodeelim)
= 0832c6e152973ceb60d1297c60a7bce2 ocaml(Dominators)
= 0f661dd7b7e8bdb1a453204cb8df0e5a ocaml(Epicenter)
= 3f770fd2a7c58ffe173a26dd5e583b6f ocaml(Errormsg)
= 9638fe8cfab20fcb7b94d22ed1594766 ocaml(Escape)
= c3aba6dca9afb773f9bb7fa9741dc306 ocaml(Expcompare)
= aee2dc77efcb8e982465eaed7c0109cf ocaml(Feature_config)
= 84eaf0b0a85d28b8b6d3b5f8adfd4604 ocaml(Formatcil)
= aae552be3e3c16a51ee851a7e5d73d87 ocaml(Formatlex)
= 723d1c2c5511b1e0497fc8c8fb556888 ocaml(Formatparse)
= 7f9ec5d77e88c277482ca32b0d8714c7 ocaml(Frontc)
= f36a5312917ff80be57b6b3985cd9c32 ocaml(GrowArray)
= cc54c4ce3b3dfbe872fc5496374a4fd7 ocaml(Heap)
= 3fe44fd9b3a276e9a111b03bfc2bcf00 ocaml(Heapify)
= 3b9506fd5f5fc74445d33d48316ffea1 ocaml(Inthash)
= 8e7601f8e0da2f2bbf6813100d112bc8 ocaml(Lexerhack)
= 179d4e3c1e6cbe4912ae649832547cf8 ocaml(Liveness)
= 63d17bcccc8807df7567b70f5a9607eb ocaml(Llvm)
= 48223b6a3648aae2fdc1b7a888ff273b ocaml(Llvmgen)
= c6039e16ba9899e4a8b953d1fc899b93 ocaml(Llvmssa)
= f53105e0df1f38369cb81c14ca067add ocaml(Llvmutils)
= 44358c334293273924294d9f26a4d3fd ocaml(Logcalls)
= 5482ed96cff9eaa3818a4cea164f63ef ocaml(Logwrites)
= 454b660f5e24c505312f50201ec27436 ocaml(Longarray)
= cc59e5bc86beddf8191472cd69102495 ocaml(Machdep)
= d4b6285d6bafebb11ad3267af0a3c524 ocaml(Machdepenv)
= 87a4f12b6b1bb4735747a2f72c59b2bc ocaml(Mergecil)
= 96faf0f89c01af212376b2f1835f90e6 ocaml(Olf)
= 6b9bd83476249a42fd332937df1ecca2 ocaml(Oneret)
= a4799e19a16f01922084b358fdfbe1bf ocaml(Partial)
= 5ccf7b34a8ffc056dc79887eff2a3849 ocaml(Patch)
= 36cb5422009fc33e9a8d552c9ac610ff ocaml(Predabst)
= ebba4ae3652156cb46358764c2e1159e ocaml(Pretty)
= a20a240c2640269416b17d6832fc6891 ocaml(Ptranal)
= ab0cef94983d7a4c22cfddc7e40c8387 ocaml(Reachingdefs)
= 3da73dde4b65326f38929c6009e4d90f ocaml(Rmtmps)
= cb39434a0f4f576e5cc26d9cd4142191 ocaml(Setp)
= dbba4c1cfaa90bc4f39fed5ad6454f23 ocaml(Sfi)
= 3a002b23a1ab3ab1efa2ff5f2f6392b4 ocaml(Simplemem)
= 0884f914fa3a3ed2fd729ea3ce4b7a74 ocaml(Simplify)
= 5ad3e18875b891f64d6db1962794f389 ocaml(Ssa)
= bf96368b9c982964a325435255d2f729 ocaml(Stats)
= 4e1ed3188cc5f7afeab198c060857ad0 ocaml(Trace)
= 85b708e2af6895499eab5bb465b9f44b ocaml(Uref)
= f309a9733c624d8fbd3447def0e69d5d ocaml(Usedef)
= e90a9f65caf1da437ba255864cd58918 ocaml(Util)
= c65ce38a1c0f00d3dd501b0476edad54 ocaml(Whitetrack)
= 1.7.3-77.fc38 ocaml-cil
= 1.7.3-77.fc38 ocaml-cil(x86-64)


نحوه نصب


نصب پکیج rpm ocaml-cil:

    dnf install ocaml-cil-1.7.3-77.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib64/ocaml/cil
/usr/lib64/ocaml/cil/META
/usr/lib64/ocaml/cil/alpha.cmi
/usr/lib64/ocaml/cil/availexps.cmi
/usr/lib64/ocaml/cil/availexpslv.cmi
/usr/lib64/ocaml/cil/bitmap.cmi
/usr/lib64/ocaml/cil/cabs.cmi
/usr/lib64/ocaml/cil/cabs2cil.cmi
/usr/lib64/ocaml/cil/cabshelper.cmi
/usr/lib64/ocaml/cil/cabsvisit.cmi
/usr/lib64/ocaml/cil/callgraph.cmi
/usr/lib64/ocaml/cil/canonicalize.cmi
/usr/lib64/ocaml/cil/cfg.cmi
/usr/lib64/ocaml/cil/check.cmi
/usr/lib64/ocaml/cil/cil.cma
/usr/lib64/ocaml/cil/cil.cmi
/usr/lib64/ocaml/cil/cilint.cmi
/usr/lib64/ocaml/cil/cillower.cmi
/usr/lib64/ocaml/cil/ciloptions.cmi
/usr/lib64/ocaml/cil/ciltools.cmi
/usr/lib64/ocaml/cil/cilutil.cmi
/usr/lib64/ocaml/cil/cilversion.cmi
/usr/lib64/ocaml/cil/clexer.cmi
/usr/lib64/ocaml/cil/clist.cmi
/usr/lib64/ocaml/cil/cparser.cmi
/usr/lib64/ocaml/cil/cprint.cmi
/usr/lib64/ocaml/cil/dataflow.cmi
/usr/lib64/ocaml/cil/dataslicing.cmi
/usr/lib64/ocaml/cil/deadcodeelim.cmi
/usr/lib64/ocaml/cil/dominators.cmi
/usr/lib64/ocaml/cil/epicenter.cmi
/usr/lib64/ocaml/cil/errormsg.cmi
/usr/lib64/ocaml/cil/escape.cmi
/usr/lib64/ocaml/cil/expcompare.cmi
/usr/lib64/ocaml/cil/feature_config.cmi
/usr/lib64/ocaml/cil/formatcil.cmi
/usr/lib64/ocaml/cil/formatlex.cmi
/usr/lib64/ocaml/cil/formatparse.cmi
/usr/lib64/ocaml/cil/frontc.cmi
/usr/lib64/ocaml/cil/growArray.cmi
/usr/lib64/ocaml/cil/heap.cmi
/usr/lib64/ocaml/cil/heapify.cmi
/usr/lib64/ocaml/cil/inthash.cmi
/usr/lib64/ocaml/cil/lexerhack.cmi
/usr/lib64/ocaml/cil/liveness.cmi
/usr/lib64/ocaml/cil/llvm.cmi
/usr/lib64/ocaml/cil/llvmgen.cmi
/usr/lib64/ocaml/cil/llvmssa.cmi
/usr/lib64/ocaml/cil/llvmutils.cmi
/usr/lib64/ocaml/cil/logcalls.cmi
... and 28 more


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-06-18

OCaml 4.14.0 rebuild

2022-06-01

Perl 5.36 rebuild

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-04

OCaml 4.13.1 build

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-05-22

Perl 5.34 rebuild

2021-03-01

OCaml 4.12.0 build

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild