Information for RPM ocaml-cil-1.7.3-65.fc33.1.src.rpm
| ID | 738710 | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | ocaml-cil | ||||||||||||||||||||||||||
| Version | 1.7.3 | ||||||||||||||||||||||||||
| Release | 65.fc33.1 | ||||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||||
| Arch | src | ||||||||||||||||||||||||||
| Summary | CIL - Infrastructure for C Program Analysis and Transformation | ||||||||||||||||||||||||||
| Description | 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. | ||||||||||||||||||||||||||
| Build Time | 2020-12-01 13:44:35 GMT | ||||||||||||||||||||||||||
| Size | 1.83 MB | ||||||||||||||||||||||||||
| a10d0c4b89ca8fa2601a69488ce57fd3 | |||||||||||||||||||||||||||
| License | BSD | ||||||||||||||||||||||||||
| Buildroot | f33-build-361838-60319 | ||||||||||||||||||||||||||
| Provides |
|
||||||||||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||||||||||
| Requires |
|
||||||||||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||||||||||
| Files |
|
||||||||||||||||||||||||||
| Component of | No Buildroots | ||||||||||||||||||||||||||
