Hello.
Could you please tell me how is it possible to print out each statement of
each basic
block of the CFG.
I am currently doing something like:
Cfg.printCfgFilename "myfunc_cfg.dot" fd;
to print out in DOT format the CFG of a function definition, fd. Note that
in the DOT
file there are comments with information about the Basic blocks and, in case
the BB
contains more than one CIL instruction it only says "instr".
I tried to modify a bit in cfg.ml the method
fasBlock (todo) (b : block)
but I got type errors.
So, let me know how can I pretty print all statements of the BB.
Thanks,
Alex
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_sfd2d_oct
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
