--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on May 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Valid physical address



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.