--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on November 2009 ---
Hi there, I don't remember where I read this but I believe Frama-C does not support C++. I also believe Frama-C is restricted when it comes to supporting dynamic memory allocation. Hence, even if it did support C++, you'd be stuck with stack objects. Hope this helps --- On Tue, 11/17/09, Rick R <rick.richardson at gmail.com> wrote: > From: Rick R <rick.richardson at gmail.com> > Subject: [Frama-c-discuss] C++? > To: frama-c-discuss at lists.gforge.inria.fr > Received: Tuesday, November 17, 2009, 2:25 PM > I'm sure this has been asked > before, but I can't find it in the archives. What is the > simplest way to process C++ with Frama-C?? > > "The greatest obstacle to > discovering the shape of the earth, the continents, and the > oceans was not ignorance but the illusion of > knowledge." > > - Daniel J. Boorstin > > > > -----Inline Attachment Follows----- > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss __________________________________________________________________ Looking for the perfect gift? Give the gift of Flickr! http://www.flickr.com/gift/