--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Can the tools be used with intrinsic in customer simulators



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