| Name : ocaml-cil
| |
| Version : 1.7.3
| Vendor : obs://build_opensuse_org/home:kerneis
|
| Release : 31.151
| Date : 2014-10-02 22:38:47
|
| Group : Unspecified
| Source RPM : ocaml-cil-1.7.3-31.151.src.rpm
|
| Size : 7.68 MB
| |
| Packager : (none)
| |
| 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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/kerneis/openSUSE_Factory/i586 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ocaml(Alpha)
ocaml(Availexps)
ocaml(Availexpslv)
ocaml(Bitmap)
ocaml(Cabs)
ocaml(Cabs2cil)
ocaml(Cabshelper)
ocaml(Cabsvisit)
ocaml(Callgraph)
ocaml(Canonicalize)
ocaml(Cfg)
ocaml(Check)
ocaml(Cil)
ocaml(Cilint)
ocaml(Cillower)
ocaml(Ciloptions)
ocaml(Ciltools)
ocaml(Cilutil)
ocaml(Cilversion)
ocaml(Clexer)
ocaml(Clist)
ocaml(Cparser)
ocaml(Cprint)
ocaml(Dataflow)
ocaml(Dataslicing)
ocaml(Deadcodeelim)
ocaml(Dominators)
ocaml(Epicenter)
ocaml(Errormsg)
ocaml(Escape)
ocaml(Expcompare)
ocaml(Feature_config)
ocaml(Formatcil)
ocaml(Formatlex)
ocaml(Formatparse)
ocaml(Frontc)
ocaml(GrowArray)
ocaml(Heap)
ocaml(Heapify)
ocaml(Inthash)
ocaml(Lexerhack)
ocaml(Liveness)
ocaml(Llvm)
ocaml(Llvmgen)
ocaml(Llvmssa)
ocaml(Llvmutils)
ocaml(Logcalls)
ocaml(Logwrites)
ocaml(Longarray)
ocaml(Machdep)
ocaml(Machdepenv)
ocaml(Mergecil)
ocaml(Olf)
ocaml(Oneret)
ocaml(Partial)
ocaml(Patch)
ocaml(Predabst)
ocaml(Pretty)
ocaml(Ptranal)
ocaml(Reachingdefs)
ocaml(Rmtmps)
ocaml(Setp)
ocaml(Sfi)
ocaml(Simplemem)
ocaml(Simplify)
ocaml(Ssa)
ocaml(Stats)
ocaml(Trace)
ocaml(Uref)
ocaml(Usedef)
ocaml(Util)
ocaml(Whitetrack)
ocaml-cil
ocaml-cil(x86-32)
Requires :
