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.
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.
Package | Summary | Distribution | Download |
ocaml-cil-1.7.3-78.fc39.aarch64.html | CIL - Infrastructure for C Program Analysis and Transformation | Fedora 39 for aarch64 | ocaml-cil-1.7.3-78.fc39.aarch64.rpm |
ocaml-cil-1.7.3-78.fc39.ppc64le.html | CIL - Infrastructure for C Program Analysis and Transformation | Fedora 39 for ppc64le | ocaml-cil-1.7.3-78.fc39.ppc64le.rpm |
ocaml-cil-1.7.3-78.fc39.s390x.html | CIL - Infrastructure for C Program Analysis and Transformation | Fedora 39 for s390x | ocaml-cil-1.7.3-78.fc39.s390x.rpm |
ocaml-cil-1.7.3-78.fc39.x86_64.html | CIL - Infrastructure for C Program Analysis and Transformation | Fedora 39 for x86_64 | ocaml-cil-1.7.3-78.fc39.x86_64.rpm |
Generated by rpm2html 1.6