معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

CIL - Infrastructure for C Program Analysis and Transformation

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything i686
نام بسته	ocaml-cil
نام فایل بسته	ocaml-cil-1.7.3-75.fc37.src.rpm
نسخه بسته	1.7.3
انتشار بسته	75.fc37
معماری بسته	i686
نگهدارنده	-
تاریخ ساخت	Fri 22 Jul 2022 05
هاست سازنده	buildvm-x86-05.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/cil-project/cil
مجوز	BSD
حجم دانلود	1.9M
حجم نصب	1.833M

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-75.fc37.aarch64.rpm	1.7.3	aarch64	Fedora Everything
ocaml-cil-1.7.3-75.fc37.x86_64.rpm	1.7.3	x86_64	Fedora Everything
ocaml-cil-cilly-1.7.3-75.fc37.aarch64.rpm	1.7.3	aarch64	Fedora Everything
ocaml-cil-cilly-1.7.3-75.fc37.x86_64.rpm	1.7.3	x86_64	Fedora Everything
ocaml-cil-devel-1.7.3-75.fc37.aarch64.rpm	1.7.3	aarch64	Fedora Everything
ocaml-cil-devel-1.7.3-75.fc37.i686.rpm	1.7.3	i686	Fedora Everything
ocaml-cil-devel-1.7.3-75.fc37.x86_64.rpm	1.7.3	x86_64	Fedora Everything
ocaml-cil-doc-1.7.3-75.fc37.aarch64.rpm	1.7.3	aarch64	Fedora Everything
ocaml-cil-doc-1.7.3-75.fc37.x86_64.rpm	1.7.3	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	hevea
-	make
-	ocaml
-	ocaml-findlib-devel
-	ocaml-num-devel
-	ocaml-ocamlbuild
-	ocaml-ocamldoc
-	perl(Carp)
-	perl(Data::Dumper)
-	perl(ExtUtils::MakeMaker)
-	perl(File::Basename)
-	perl(File::Copy)
-	perl(File::Spec)
-	perl(File::Temp)
-	perl(FindBin)
-	perl(Getopt::Long)
-	perl(Text::ParseWords)
-	perl(lib)
-	perl(strict)
-	perl-generators
-	tex(latex)

ارائه دهنده

مقدار	نام
= 1.7.3-75.fc37	ocaml-cil
= 1.7.3-75.fc37	ocaml-cil-devel
= 1.7.3-75.fc37	ocaml-cil-doc
= 1.7.3-75.fc37	ocaml-cil-cilly

نحوه نصب

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

dnf install ocaml-cil-1.7.3-75.fc37.src.rpm

فایل ها

مسیرها
0001-Fix-testsuite-on-32-bit-machines.patch
0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch
cil-1.7.3-Fix-unescaped-left-brace-in-regex.patch
cil-1.7.3-add-package-cilconfig.patch
cil-1.7.3-bytecode-compilation.patch
cil-1.7.3-enable-ocamlopt-g.patch
cil-1.7.3-gcc-7.patch
cil-1.7.3-safe-string.patch
cil-1.7.3.tar.gz
ocaml-4.02.0.patch

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

تاریخ آخرین تغییر	جزئیات
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
2020-09-01	OCaml 4.11.1 rebuild
2020-08-21	OCaml 4.11.0 rebuild
2020-08-01	Second attempt - Rebuilt for
2020-07-28	Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild