From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA22703; Wed, 21 Aug 2002 17:31:13 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA22594 for caml-list@pauillac.inria.fr; Wed, 21 Aug 2002 17:31:12 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA05201 for ; Tue, 20 Aug 2002 21:44:01 +0200 (MET DST) Received: from JANUS.eecs.berkeley.edu (janus.EECS.Berkeley.EDU [169.229.60.69]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7KJhxP02428 for ; Tue, 20 Aug 2002 21:44:00 +0200 (MET DST) Received: by JANUS.eecs.berkeley.edu with Internet Mail Service (5.5.2655.55) id ; Tue, 20 Aug 2002 12:43:58 -0700 Message-ID: <4E06A937DADC3842ACE4D3A1096A9EAC567D63@JANUS.eecs.berkeley.edu> From: George Necula To: "'caml-list@inria.fr'" Subject: [Caml-list] Announcing CIL: Infrastructure and tools for C program analysis a nd transformations Date: Tue, 20 Aug 2002 12:43:55 -0700 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2655.55) Content-Type: text/plain Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk We have released a stable version of CIL. It consists of a complete C parser (both for ANSI C and also the GCC and Microsoft Visual C extensions), pretty-printer and an intermediate language that hides most of the dark corners of the C language. This allows you for example to implement a Stackguard instrumentation for your programs in about 80 lines of code and apply it to ugly code such as the Linux kernel modules. CIL can impersonate both the GCC and MSVC compilers allowing you to use your existing Makefiles and can also merge your entire program into one source file for a quick whole-program analysis. CIL has been tested on many millions of lines of code, including the Linux kernel and GIMP. More information, a manual, ocamldoc API documentation and the distribution can be found at http://www.cs.berkeley.edu/~necula/cil. George. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners