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

[Frama-c-discuss] C++?



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/