How to Install and Uninstall ocaml-cil.x86_64 Package on Fedora 35

Last metadata expiration check: 3:52:58 ago on Wed Sep 7 08:25:01 2022.
Available Packages
Name : ocaml-cil
Version : 1.7.3
Release : 69.fc35
Architecture : x86_64
Size : 2.7 M
Source : ocaml-cil-1.7.3-69.fc35.src.rpm
Repository : fedora
Summary : CIL - Infrastructure for C Program Analysis and Transformation
URL : https://github.com/cil-project/cil
License : BSD
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.