>
>
> Hint: always run the CIL checks after your transformations, this will
> let you know if you broke some invariants in the code.
>
>
What is CIL check ? and how do I run it to see if some invariants are
broken ?
Thanks,
-
Hi,
On Sat, Dec 19, 2009 at 12:48:39PM -0700, ThanhVu (Vu) Nguyen wrote:
> I follow your suggestion and use ChangeDoChildrenPost and also not
> mutate things directly. I also use method vstmt instead of method
> vinstr. Below is my new version for changing
> sprintf(buff,"a string")
> to
> sn
