CIL (C Intermediate Language)

Hi,

On Wed, Jul 21, 2010 at 02:55:48PM +0800, haihao shen wrote:
> let d_cfgedge (src) () (dest) = 
>     match src.skind with
>       | If (_, tb, fb, _) ->
>    (if (List.mem dest tb.bstmts) then
>       dprintf "%a -> %a [label=\"true\"]"
>              d_cfgnodename src
>              d_cfgnodename dest
>     else if (List.mem dest fb.bstmts) then
>       dprintf "%a -> %a [label=\"false\"]"
>              d_cfgnodename src
>              d_cfgnodename dest
>     else
>       dprintf "%a -> %a [label=\"true$\"]"(*true likely, note that no false
> likely!!!*)
>              d_cfgnodename src
>              d_cfgnodename dest);
>       | _ -> dprintf "%a -> %a"
>         d_cfgnodename src
>         d_cfgnodename dest

You probably want to use List.memq (physical identity) rather than
List.mem.  Except if you copy some statements during your
transformations, but this is bad practice in CIL and should be avoided
as much as possible.

If you still have problems, send a minimal exemple here (e.g. the code
of the C function where the highlighted code is hit).

Regards,
-- 
Gabriel Kerneis

Hello Olivier -

On Fri, Jul 16, 2010 at 05:50:17PM +0200, Olivier Crameri wrote:
> is there any documentation or paper somewhere that describes in more details
> the points-to analysis module of CIL ?

        I'm afraid there is none; at least none
I'm aware of.  However, you can refer to the
offical literature on which the modules are
based, e.g. the papers of Manuvir Das and Bjarne
Steensgaard.


> In particular, I'm interested in the differences between Olf and Golf with
> respect to performance, and the possible ways to tune the analysis to make
> it faster.

        Though performance isn't everything and
analysis precision can play an important role in
particular in the field of points-to-analysis.

I remember a problem where Olf came up with
Cil.varinfo lists up to 1800 elements long,
whereas the lists Golf produced for the same
program had a maximum size of 5.  YMMV.


/Chris

Hi!

On Mon, Jul 12, 2010 at 08:12:08PM +0300, Zakkak Foivos wrote:
> i need some help inserting some preprocessor directives between some
> generated (with Cil) stmts.

        Some time ago, I used #pragma directives
to communicate extra information to and from a
cil run.  Of course your cil-extension must take
care of the pragmas itself.  Furthermore, this
technique may require additional source
transformation steps like, e.g. replacing the
generated pragmas.

You'll find more information in the archives of
this list, because similar problems already
showed up.


/Chris

Hi,

  I am in favor of moving the repository to sourceforge.

 The current problem with the svn repository is that the different
people check out the repository with different kind of credentials
(some have an account on hal, others have an svnguest account on hal,
and others have neither). It seems that no single svn:externals
specification would work for all.

 In any case, the procedure that Praveen described above would work:

Checkout the cil using
$ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/cil
Ignore if it asks for password

Then, checkout ocamlutil from
$ svn co svn://hal.cs.berkeley.edu/home/svn/projects/trunk/ocamlutil

Copy ocamlutil into the cil folder, and install cil.


George.



On Tue, Jul 6, 2010 at 3:13 AM, Olivier Crameri
<olivier.crameri@...> wrote:
> I'm wondering if this would not be a good opportunity to move the repository
> from the current server at Berkeley to sourceforge or some place else. Same
> thing for the documentation.
> It would make it easier to appoint new maintainers and make sure new patches
> are committed to the official distribution.
> Any opinion on that ?
> Olivier
> On Tue, Jun 22, 2010 at 11:27 AM, Gabriel Kerneis <kerneis@...>
> wrote:
>>
>> Marco,
>>
>> On Tue, Jun 22, 2010 at 11:06:58AM +0200, Marco Trudel wrote:
>> > Oh, actually Olivier Crameri already reported that two months ago...
>> > Does this mean that CIL has been completely discontinued?
>>
>> No, the access rules seem broken (and I cannot fix them since I have no
>> access to the server either) but the restricted svn is still working.
>>
>> > That would really be a pity since it's actually a great program!
>>
>> Meanwhile, I've set up a copy of the svn using git.  You can grab it
>> with:
>> $ git clone http://www.pps.jussieu.fr/~kerneis/software/repos/cpc.git \
>>    -b master cil
>> $ cd cil
>> $ git clone
>> http://www.pps.jussieu.fr/~kerneis/software/repos/ocamlutil.git \
>>    -b master ocamlutil
>>
>> Build (from the cil/ directory):
>> $ ./configure && make
>>
>> Update (from the cil/ directory):
>> $ git pull origin master:master && cd ocamlutil && git pull origin
>> master:master
>>
>> Regards,
>> --
>> Gabriel Kerneis
>>
>>
>> ------------------------------------------------------------------------------
>> ThinkGeek and WIRED's GeekDad team up for the Ultimate
>> GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the
>> lucky parental unit.  See the prize list and enter to win:
>> http://p.sf.net/sfu/thinkgeek-promo
>> _______________________________________________
>> CIL-users mailing list
>> CIL-users@...
>> https://lists.sourceforge.net/lists/listinfo/cil-users
>
>