--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on March 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Modifying the AST to insert statements / declarations



> 2012/3/16 Virgile Prevosto<virgile.prevosto at m4x.org  <http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss>>:
> >/
> />/  The attached script contains a very basic visitor that generates a new
> /
> Oops, I forgot that since the visitor adds some statement, It'd be
> better to recompute the cfg afterwards. The issue does not show up
> when printing the code, but doing a real analysis (e.g. -val) would
> result in a lot of trouble if the cfg is not correct. Attached is a
> correct version. Sorry for the noise.
>
> -- 
> E tutto per oggi, a la prossima volta
> Virgile

Thanks for your help!

I'll take a look at your script and see how I can adapt it to my needs.

Cheers,
Pierre


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120316/a490b9a6/attachment.html>