Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource ocaml-cil

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.

Found 1 sites for ocaml-cil

Found 23 RPM for ocaml-cil

PackageSummaryDistributionDownload
ocaml-cil-1.7.3-75.fc37.aarch64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora Rawhide for aarch64ocaml-cil-1.7.3-75.fc37.aarch64.rpm
ocaml-cil-1.7.3-75.fc37.aarch64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 37 for aarch64ocaml-cil-1.7.3-75.fc37.aarch64.rpm
ocaml-cil-1.7.3-75.fc37.ppc64le.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora Rawhide for ppc64leocaml-cil-1.7.3-75.fc37.ppc64le.rpm
ocaml-cil-1.7.3-75.fc37.ppc64le.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 37 for ppc64leocaml-cil-1.7.3-75.fc37.ppc64le.rpm
ocaml-cil-1.7.3-75.fc37.s390x.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora Rawhide for s390xocaml-cil-1.7.3-75.fc37.s390x.rpm
ocaml-cil-1.7.3-75.fc37.s390x.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 37 for s390xocaml-cil-1.7.3-75.fc37.s390x.rpm
ocaml-cil-1.7.3-75.fc37.x86_64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora Rawhide for x86_64ocaml-cil-1.7.3-75.fc37.x86_64.rpm
ocaml-cil-1.7.3-75.fc37.x86_64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 37 for x86_64ocaml-cil-1.7.3-75.fc37.x86_64.rpm
ocaml-cil-1.7.3-72.fc36.aarch64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 36 for aarch64ocaml-cil-1.7.3-72.fc36.aarch64.rpm
ocaml-cil-1.7.3-72.fc36.armv7hl.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 36 for armhfpocaml-cil-1.7.3-72.fc36.armv7hl.rpm
ocaml-cil-1.7.3-72.fc36.ppc64le.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 36 for ppc64leocaml-cil-1.7.3-72.fc36.ppc64le.rpm
ocaml-cil-1.7.3-72.fc36.s390x.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 36 for s390xocaml-cil-1.7.3-72.fc36.s390x.rpm
ocaml-cil-1.7.3-72.fc36.x86_64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 36 for x86_64ocaml-cil-1.7.3-72.fc36.x86_64.rpm
ocaml-cil-1.7.3-69.fc35.aarch64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 35 for aarch64ocaml-cil-1.7.3-69.fc35.aarch64.rpm
ocaml-cil-1.7.3-69.fc35.armv7hl.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 35 for armhfpocaml-cil-1.7.3-69.fc35.armv7hl.rpm
ocaml-cil-1.7.3-69.fc35.ppc64le.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 35 for ppc64leocaml-cil-1.7.3-69.fc35.ppc64le.rpm
ocaml-cil-1.7.3-69.fc35.s390x.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 35 for s390xocaml-cil-1.7.3-69.fc35.s390x.rpm
ocaml-cil-1.7.3-69.fc35.x86_64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 35 for x86_64ocaml-cil-1.7.3-69.fc35.x86_64.rpm
ocaml-cil-1.7.3-66.fc34.aarch64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 34 for aarch64ocaml-cil-1.7.3-66.fc34.aarch64.rpm
ocaml-cil-1.7.3-66.fc34.armv7hl.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 34 for armhfpocaml-cil-1.7.3-66.fc34.armv7hl.rpm
ocaml-cil-1.7.3-66.fc34.ppc64le.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 34 for ppc64leocaml-cil-1.7.3-66.fc34.ppc64le.rpm
ocaml-cil-1.7.3-66.fc34.s390x.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 34 for s390xocaml-cil-1.7.3-66.fc34.s390x.rpm
ocaml-cil-1.7.3-66.fc34.x86_64.htmlCIL - Infrastructure for C Program Analysis and TransformationFedora 34 for x86_64ocaml-cil-1.7.3-66.fc34.x86_64.rpm

Generated by rpm2html 1.6

Fabrice Bellet