--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on September 2010 ---
Hello Pascal, 2010/9/20 Pascal Cuoq <pascal.cuoq at gmail.com>: > A/ Abstract domains [...] > 6/ Offsetmaps > ?Arrays of bits, consecutive slices of which may contain values from 5/ [....] > B/ Dataflow algorithm > Regarding A/6/, you can find a bit of the problem explained, and a > description for a data structure that is still being implemented and > not actually used yet in the value analysis, in the JFLA 2010 article: > http://jfla.inria.fr/2010/actes/PDF/bonichon_cuoq.pdf It indeed helps, even if everything is not entirely clear (especially the subscripts "0..100" associated to bindings). :-) Best regards, d.