--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on February 2012 ---
Hi, Frama-C and some of its plugins do handle multithreaded programs : what kind of analysis do you have in mind? Could you describe what the intrinsics you want to analyze look like? Benjamin Monate CEA LIST Head of Software Safety Laboratory I Le 3 f?vr. 2012 ? 10:23, "Nguy?n C?nh Th??ng" <ngcthuong at gmail.com> a ?crit : > Hello, > > I'm currently working with Frama-c to test out pro*c project. > I just work with frama-c in few days, so I have some questions about it > > 1. Can frama-c handle multithreading of applications? with large projects, > 2. Can the tools be used with intrinsic in customer simulators? > > Thanks > > _______________________________________________ > 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