--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on September 2014 ---
Hello, Le dim. 07 sept. 2014 16:35:31 CEST, Christoph Thielecke <u28616 at hs-harz.de> a ?crit : > :( When we can expect that it is supporting c++? That would be a big > step. > As a matter of fact, a prototype is being implemented in the frame of the european (FP7) project Stance (See e.g. http://www.stance-project.eu/media/publications/Frama-Clang_presentation_V_Prevosto__F_Vedrine.pdf ) However, we feel that the plugin is currently too experimental to be released. Using it on arbitrary C++ code would very probably require a fairly important dose of support from our part, that we could only provide in the context of a formal cooperation agreement (e.g. collaborative research project or bilateral contract). Interested people can contact us directly at support at frama-c.com to discuss how we can work together. Best regards, -- E tutto per oggi, a la prossima volta. Virgile