--- layout: fc_discuss_archives title: Message 75 from Frama-C-discuss on May 2009 ---
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).