--- layout: fc_discuss_archives title: Message 9 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>:
>
> 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
-------------- section suivante --------------
Une pi?ce jointe autre que texte a ?t? nettoy?e...
Nom: insert_stmt.ml
Type: text/x-ocaml
Taille: 1671 octets
Desc: non disponible
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120316/f85b2b3b/attachment.bin>