--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on May 2012 ---
Le 04/05/2012 09:56, Jean-Marc Harang a ?crit : > Perhaps try to use this option : > -absolute-valid-range 0xABCD-0xB000 > with the correct range ;) Yes !!! I looked at the value analysis options but I haven't looked into the kernel options. Sorry ! This one seems to be exactly what I need. Thank you very much. -- Anne.