framac-16.0.md

---
layout: default
date: 29-11-2017
title: Release of Frama-C 16.0 (Sulfur)
---

Frama-C 16.0 (Sulfur) is out. Download it [here](/fc-versions/sulfur.html).


Main changes with respect to Frama-C 15 - Phosphorus include:

#### Kernel
- Extra type checking verifications
  (e.g. const on local variables, qualifiers in function calls)

#### EVA
- Precision and efficiency improvements
- Better feedback for abstract domains
- Scripts to help analyze large programs
  (in $FRAMAC_SHARE/analysis-scripts)

#### WP
- New tacticals for TIP
  (for dealing with modulus, bit operations, equality rewriting, etc)
- Several new simplifications

#### RTE
- Emission of more alarms (\initialized)

#### Studia
- New plug-in for case studies with EVA, integrated in the GUI

#### GUI
- Display of local callgraphs (useful for large programs)

A complete changelog can be found [here](/html/changelog.html#Sulfur-16.0).