--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on January 2015 ---
> On the other hand, what is the status of WP regarding allocation? Is there a chance we could see this supported in the next release? If not, how much work do you think is needed to implement this stuff? Is it perhaps something a masters student would be able to do it in a few weeks or months? Or would it make for a PhD research project? > It is actually surprising that there's such a large body of work on separation, and yet it seems that very little of it is made usable in practical tools. You?re absolutely right. And yes, it?s a large enough for one or more research projects, together with a lot of engineering, as illustrated by Claude?s pointers! L.