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

[Frama-c-discuss] Memory model



Hello,

I am interested in learning more about the Frama-C tool, and especially about the memory model it implements for C, before I go any further with it.
Is there any documentation regarding this aspect of the framework?
Is it a classic "untyped sequence of byte arrays" model or is it anything more involved?
And more importantly, can it be changed/reimplemented using a plugin or is it fixed in the core?

Regards,
Francois Dupressoir

---------------------------------
The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302).