--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Looking for paper describing Frama-C internals



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.