--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on July 2009 ---
I tried to port to Beryllium the patch provided by Pascal Cuoq here: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-January/000892.html (with this patch you can access the several states attached to a statement while the analysis is taking place). It compiles fine and can be used in a plug-in, but doesn't work quite well. From a quick debug, it seems that in 'let merge_current' Db.Value.Record_Value_Callbacks is always empty (and therefore Record_Value_Superposition callbacks are not called). It's something that've changed between Lithium and Beryllium and it's independent from this patch. -------------- next part -------------- A non-text attachment was scrubbed... Name: frama-c-20090601_beta1-states_hook.patch Type: text/x-patch Size: 3890 bytes Desc: not available Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090713/6bff4eab/attachment.bin