From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 89333BBAF for ; Wed, 21 Oct 2009 14:29:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAOKb3kqTLtdJ/2dsb2JhbADaW4QxBIJH X-IronPort-AV: E=Sophos;i="4.44,596,1249250400"; d="scan'208";a="35331717" Received: from ropas.snu.ac.kr ([147.46.215.73]) by mail2-smtp-roc.national.inria.fr with ESMTP; 21 Oct 2009 14:29:15 +0200 Received: from ysko-ldesktop (unknown [147.46.242.134]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ropas.snu.ac.kr (Postfix) with ESMTP id 7FFC9EAB4F for ; Wed, 21 Oct 2009 21:29:12 +0900 (KST) Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes To: caml-list@yquem.inria.fr Date: Wed, 21 Oct 2009 21:29:11 +0900 Subject: Looking for C preprocessing language parser with OCAML interface MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: "Yoonseok Ko" Organization: SNU Message-ID: User-Agent: Opera Mail/10.00 (Linux) X-Spam: no; 0.00; parser:01 ocaml:01 parser:01 ocaml:01 parsers:01 ifdef:01 researched:98 preprocessor:01 interface:06 interface:06 i'm:09 i'm:09 student:09 analysis:11 some:14 Hello everyone. I'm a graduate student majoring in program analysis. I'm looking for a C preprocessing language parser with OCAML interface. Our team researched some C parsers, and we want to control preprocessor's directives such as #ifdef, #if, #else, #endif, #include, and so on. I couldn't find any parser for C preprocessing language because almost parser implementation in OCAML use conventional parser's preprocessor. Is there any parser for the language with OCAML interface? Thanks in advance for your help. Best Regards Yoonseok Ko