16 févr. 2012

FCDT v1.1 release

Dear all,

We are pleased to announce the new release of the Frama-C Development Tooling (FCDT) plug-in version v1.1.
The FCDT plug-in permits developers to use the static analysis tools provided by Frama-C from directly within the Eclipse framework.



This release, compatible with Eclipse Indigo (only), includes:
  • A new call graph viewer
  • A new editor for ACSL language integrated into comment area of the CDT editor
  • Bug fixes

Tested platforms are Windows  XP 32 and Linux.

It is available on:
http://gforge.enseeiht.fr/projects/fcdt/

Release contents:

A build of Frama-C Nitrogen for Windows  is also available on the fcdt web site.

Regards

FCDT Team