--- layout: fc_discuss_archives title: Message 10 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 10:03, Anne Pacalet a ?crit :
> 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.
>    

you're welcome, Anne ;)

-- 
jean-marc