--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on July 2011 ---
What I mean for "Is it allowed to add a new field to Cil_type.stmt" is that can I extend it just like Registering a New Internal State. Of course I can add the field directly to Cil_type.stmt which is a very very bad method because it changes Frama-C kernel. Maybe the best way is to use hash tables to store the extra information. Sorry for not posting my own magic answer after resolving it. Best Wishes. Henry Liu. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110720/a5ad4db0/attachment.htm>