---
layout: fc_discuss_archives
title: Message 2 from Frama-C-discuss on May 2015
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Fwd: Jessie umbound symbol problem
- Subject: [Frama-c-discuss] Fwd: Jessie umbound symbol problem
- From: Claude.Marche at inria.fr (Claude Marche)
- Date: Fri, 01 May 2015 09:33:41 +0200
- In-reply-to: <CADH2bc-A6G2qWJgYCOy0NvzEqQsX_XBW=uy-BHQ3JuB1fVnGtA@mail.gmail.com>
- References: <CADH2bc9QJgeuRZ1kDV5DMT8xHzqG6K0WpmRGvazU8A8i13m_Ug@mail.gmail.com> <5535E68D.1010702@inria.fr> <CADH2bc8VLqmhe0uBZO-=ve5zh5Foap=Ris31aeQ885Rn5ig0rA@mail.gmail.com> <5536C54B.5070101@inria.fr> <CADH2bc-9aAG=ZeqvmAhOA2HyGu7jNMn=VM2jfKEiMU=q6rpzTw@mail.gmail.com> <55376133.7010802@inria.fr> <CADH2bc8XZ++Wj8iq+=nR7mMEwomXNjo2yYagPLEdieypoZ9b8w@mail.gmail.com> <CADH2bc9qsc8SAGAGb4zZqmJLqJ6szN5fnzwSUNS9qgGtKimE0g@mail.gmail.com> <CADH2bc-A6G2qWJgYCOy0NvzEqQsX_XBW=uy-BHQ3JuB1fVnGtA@mail.gmail.com>
On 04/24/2015 10:25 PM, Allberson Dantas wrote:
> Claude, I'm interessed in developing code for data structures like
> Linked Lists, Graphs and so on. Is frama-c suitable for that?
I don't think so. Look for similar topics in the list archive.
- Claude
--
Claude March? | tel: +33 1 69 15 66 08
INRIA Saclay - ?le-de-France |
Universit? Paris-sud, Bat. 650 | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex |