Changes in Frama-C by Release

  • new feature
  • bug fix
  • plug-in developers
  • compatibility break
  • private bts entries

 

 

 

 

Scandium Release [21.1]

Plugin WP

 

 

 

 

Scandium Release [21.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fix

Developers Only

Plugin Instantiate

Plugin RTE

Plugin WP

 

 

 

 

Calcium Release [20.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Plugin Config

Plugin Eva

New Features

Bug Fix

Developers Only

Plugin MdR

Plugin Sparecode

Plugin WP

New Features

Developers Only

 

 

 

 

Potassium Release [19.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Aorai

Plugin Eva

New Features

Bug Fix

Plugin Inout

Plugin Obfuscator

Plugin RTE

Plugin WP

 

 

 

 

Argon Release [18.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Plugin Constant

Plugin Eva

New Features

Bug Fix

Plugin Metrics

Plugin RTE

Plugin WP

 

 

 

 

Chlorine-20180502 Release [17.1]

Frama-C General

 

 

 

 

Chlorine-20180501 Release [17.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Metrics

Plugin Occurrence

Plugin RTE

Plugin Users

Plugin WP

 

 

 

 

Sulfur-20171101 Release [16.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Callgraph

Plugin Eva

New Features

Bug Fixes

Developers Only

Plugin Metrics

Plugin Report

Plugin RTE

Plugin Scope

Plugin Slicing

Plugin Sparecode

Plugin WP

New Features

Bug Fix

 

 

 

 

Phosphorus-20170501 Release [15.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Callgraph

Plugin Eva

New Features

Bug Fixes

Developers Only

Plugin Inout

Plugin Metrics

Plugin Obfuscator

Plugin Rte

Plugin Scope

Plugin Value

Plugin Variadic

Plugin WP

New Features

Developers Only

 

 

 

 

Silicon-20161101 Release [14.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fixes

Plugin From

Plugin Nonterm

Plugin Rte

Plugin Scope

Plugin Value

New Features

Bug Fixes

Plugin WP

 

 

 

 

Aluminium-20160502 Release [13.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Eva

New Features

Bug Fix

Plugin From

Plugin LoopAnalysis

Plugin Metrics

Plugin Nonterm

Plugin RTE

Plugin Sparecode

Plugin Value

New Features

Bug Fixes

Developers Only

Plugin Variadic

 

 

 

 

Magnesium-20151002 Release [12.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fix

Developers Only

Plugin Callgraph

Plugin Defs

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Parsing

Plugin Report

Plugin Scope

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Sodium-20150201 Release [11.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin From

Plugin Inout

Plugin Report

Plugin Rte

Plugin Semantic

New Features

Bug Fix

Plugin Slicing

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Neon-20140301 Release [10.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin From

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Obfuscator

New Features

Bug Fix

Plugin PDG

Plugin Pdg

Plugin Report

Plugin RTE

Plugin Rte

Plugin Scope

Plugin Semantic

Plugin Slicing

New Features

Bug Fixes

Plugin Syntactic_callgraph

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Fluorine-20130601 Release [9.2]

Plugin Value

 

 

 

 

Fluorine-20130501 Release [9.1]

Frama-C General

Plugin RTE

Plugin Value

 

 

 

 

Fluorine-20130401 Release [9.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Aorai

Plugin From

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Obfuscator

Plugin Pdg

Plugin Rte

New Features

Bug Fix

Developers Only

Plugin Scope

Plugin Slicing

Plugin Sparecode

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Oxygen-20120901 Release [8.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Aorai

Plugin From

Plugin Impact

Plugin Inout

Plugin Metrics

Plugin Occurrence

Plugin Pdg

Plugin Report

Plugin Rte

New Features

Bug Fix

Plugin Scope

Plugin Slicing

Plugin Syntactic_callgraph

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Nitrogen-20111001 Release [7.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Developers Only

Plugin Aorai

New Features

Bug Fixes

Developers Only

Plugin Dataflow

Plugin Dominators

Plugin From

Plugin Impact

Plugin Inout

New Features

Developers Only

Plugin Metrics

Plugin Occurrence

Plugin Pdg

Plugin Postdominators

Plugin Rte

Plugin Scope

Plugin Security_slicing

Plugin Semantic

Plugin Slicing

New Feature

Bug Fixes

Plugin Syntactic

Plugin Users

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Carbon-20110201 Release [6.2]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Inout

Plugin Report

Plugin Slicing

Plugin Sparecode

Plugin Value

New Features

Bug Fixes

Developers Only

Plugin WP

 

 

 

 

Carbon-20101202 Release [6.1]

Plugin WP

 

 

 

 

Carbon-20101201 Release [6.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Plugin From

Plugin Inout

New Features

Bug Fix

Plugin Obfuscator

Plugin Occurrence

Plugin Security_slicing

Plugin Slicing

Plugin Syntactic

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Boron-20100401 Release [5.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Inout

Plugin Security

Plugin Security_slicing

Plugin Slicing

Plugin Syntactic_callgraph

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Beryllium-20090902 Release [4.2]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Jessie

Plugin Obfuscator

Plugin Syntactic

Plugin Syntactic_callgraph

Plugin Value

 

 

 

 

Beryllium-20090901 Release [4.1]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Semantic

Plugin Syntactic_callgraph

Plugin Value

 

 

 

 

Beryllium-20090601 Release [4.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Aorai

Plugin From

Plugin Impact

New Features

Bug Fixes

Plugin InOut

Plugin Inout

Plugin Jessie

New Features

Bug Fixes

Plugin Pdg

Plugin Semantic_callgraph

Plugin Slicing

Plugin Sparecode

Plugin Syntactic_callgraph

Plugin Users

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Lithium-20081201 Release [3.1]

Frama-C General

New Features

Developers Only

Frama-C GUI

Plugin Impact

Plugin Jessie

Plugin Slicing

Plugin Sparecode

Plugin Value

 

 

 

 

Lithium-20081002 Release [3.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Deps

Plugin Inout

Plugin Jessie

Plugin Pdg

Plugin Semantic_callgraph

Plugin Slicing

New Features

Bug Fix

Plugin Value

New Features

Bug Fixes

Developers Only

 

 

 

 

Helium-20080701 Release [2.0]

Frama-C General

New Features

Bug Fixes

Developers Only

Frama-C GUI

Plugin Constfold

Plugin Impact

Plugin Metrics

Plugin Occurrence

Plugin Pdg

Plugin Slicing

Plugin Sparecode

Plugin Value

 

 

 

 

Hydrogen-20080502 Release [1.2]

Frama-C General

Frama-C GUI

 

 

 

 

Hydrogen-20080501 Release [1.1]

Frama-C General

New Feature

Bug Fixes

Developers Only

Frama-C GUI

New Features

Bug Fixes

Developers Only

Plugin Impact

Plugin Scope

Plugin Value

 

 

 

 

Hydrogen-20080302 Release [1.0]

Frama-C General

Frama-C GUI

Plugin Occurrence

Plugin Slicing

 

 

 

 

Hydrogen-20080301 Release [1.0]

Frama-C General

 

 

 

 

Aluminium_20160502 Release [1.0]

Plugin WP

 

 

 

 

Magnesium_20151002 Release [0.9]

Plugin WP

New Features

Bug Fixes

 

 

 

 

Sodium_20150201 Release [0.8]

Plugin WP

New Features

Bug Fix

 

 

 

 

Neon_20140301 Release [0.8]

Plugin WP

New Features

Bug Fixes

 

 

 

 

Fluorine_20130501 Release [0.7]

Plugin WP

 

 

 

 

Fluorine_20130401 Release [0.7]

Plugin WP

New Features

Bug Fix

 

 

 

 

Oxygen_20120901 Release [0.6]

Plugin WP

New Features

Bug Fixes

Developers Only

 

 

 

 

Nitrogen_20111001 Release [0.5]

Plugin WP

 

 

 

 

Nitrogen_20111001 Release [0.4]

Plugin WP

New Features

Bug Fixes

 

 

 

 

Carbon_20110201 Release [0.3]

Plugin WP

New Features

Bug Fixes

 

 

 

 

Carbon_20101202 Release [0.2]

Plugin WP

 

 

 

 

Carbon_20101201 Release [0.1]

Plugin WP