Hi, On Mon, Nov 12, 2012 at 10:13:45PM -0800, SourceForge.net wrote: > Bugs item #3586613, was opened at 2012-11-12 22:13 > Message generated for change (Tracker Item Submitted) made by theanh2504 > You can respond by visiting: > https://sourceforge.net/tracker/?func=detail&atid=742140&aid=3586613&group_id=138953
Please, ask questions through the CIL users mailing-list rather than the bug tracker: https://lists.sourceforge.net/lists/listinfo/cil-users (even though bug tracker issues are duplicated to the mailing-list). > I am currently investigating a research tool which is developed based on Cil. > I have found that the tool mainly use Cabs2cil visitor class instead of Cil > visitor which I normally see. I do not understand what you mean about the Cabs2cil visitor: could you give a (small) example of the code you are dealing with? > Could anyone please tell me the difference between using Cil visitor and > Cabs2cil visitor? And often in which situations we should or should not use > Cabs2cil visitor. Well, CIL is architectured as follows: C file --|frontc/{cparser,clexer}|--> CABS --|frontc/cabs2cil.ml|--> CIL CABS is very close to the original source code, but tedious to use; CIL is a much saner subset of the C language, but of course more remote from what the programmer wrote. CIL can be transformed or analyzed using cilVisitor, and CABS can similarly be handled by cabsVisitor. The translation from CABS to CIL in cabs2cil.ml uses a cabsVisitor, but there is no such thing as a cabs2cil visitor. Best, -- Gabriel ------------------------------------------------------------------------------ Monitor your physical, virtual and cloud infrastructure from a single web console. Get in-depth insight into apps, servers, databases, vmware, SAP, cloud infrastructure, etc. Download 30-day Free Trial. Pricing starts from $795 for 25 servers or applications! http://p.sf.net/sfu/zoho_dev2dev_nov _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
