Hi all,
Currently I am doing some work on CIL. I would like to obtain the
conditional result (true/false) in the DOT file generated by CIL. Therefore,
I modified the code in ext/cfg.ml.
let d_cfgedge (src) () (dest) =
match src.skind with
| If (_, tb, fb, _) ->
(if (List.mem dest tb
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
off
