We are pleased to announce the release of the Frama-C Development Tooling (FCDT) plug-in v1.0.
The FCDT plug-in permits Frama-C users to use the static analysis tool from directly within the Eclipse framework.

Frama-C is available on: http://frama-c.com/

The FCDT plug-in is available on: http://gforge.enseeiht.fr/projects/fcdt/

Release contents:
-FCDT plug-in archive file http://gforge.enseeiht.fr/frs/download.php/3282/fcdt_v1.0.zip
-Installation and usage tutorial http://gforge.enseeiht.fr/frs/download.php/3292/FCDT%20Tutorial_V1.0.pdf
-Example archive file http://gforge.enseeiht.fr/frs/download.php/3294/fcdt_v1.0_example_files.zip

FCDT Team