1. Forum
  2. Usenet
  3. LINUX.DEBIAN.BUGS.DIST

  • Bug#266474: ITP: cinterlang -- C program analysis and transformation (C

    From Jesus M. Gonzalez-Barahona@1:229/2 to All on Wed Aug 18 01:00:11 2004
    XPost: linux.debian.devel
    From: [email protected]

    Package: wnpp
    Severity: wishlist

    * Package name : cinterlang
    Version : 1.2.5
    Upstream Author : George C. Necula <[email protected]>, Scott McPeak <[email protected]>, Wes Weimer <[email protected]>, Ben Liblit <[email protected]>
    * URL : http://manju.cs.berkeley.edu/cil/
    * License : BSD-like
    Description : C program analysis and transformation (C Intermediate Language, 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. It is written in OCaml.
    .
    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.

    -- System Information:
    Debian Release: testing/unstable
    APT prefers testing
    APT policy: (500, 'testing')
    Architecture: i386 (i686)
    Kernel: Linux 2.6.3-1-686
    Locale: LANG=C, LC_CTYPE=C


    --
    To UNSUBSCRIBE, email to [email protected]
    with a subject of "unsubscribe". Trouble? Contact [email protected]

    --- SoupGate-Win32 v1.05
    * Origin: you cannot sedate... all the things you hate (1:229/2)
  • From Sylvain LE GALL@1:229/2 to Jesus M. Gonzalez-Barahona on Wed Aug 18 02:00:16 2004
    From: [email protected]

    On Wed, Aug 18, 2004 at 12:37:44AM +0200, Jesus M. Gonzalez-Barahona wrote:
    Package: wnpp
    Severity: wishlist

    * Package name : cinterlang
    Version : 1.2.5
    Upstream Author : George C. Necula <[email protected]>, Scott McPeak <[email protected]>, Wes Weimer <[email protected]>, Ben Liblit <[email protected]>
    * URL : http://manju.cs.berkeley.edu/cil/
    * License : BSD-like
    Description : C program analysis and transformation (C Intermediate Language, 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. It is written in OCaml.
    .
    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.


    Hello,

    Maybe you can get in touch with debian OCaml Maintainer groups. There is
    an alioth project ( pkg-ocaml-maint ), a mailing list (
    debian-ocaml-maint ) and an IRC channel ( #debian-ocaml-maint @freenode
    ).

    This should help you...

    Kind regard
    Sylvain Le Gall


    --
    To UNSUBSCRIBE, email to [email protected]
    with a subject of "unsubscribe". Trouble? Contact [email protected]

    --- SoupGate-Win32 v1.05
    * Origin: you cannot sedate... all the things you hate (1:229/2)