V2.2.0

Fixed bugs

• BUG > Frama-C plugin shall not be run if not requested

V2.1.1

Changelog

New features

• FEATURE > Update of community documentation and templates
• FEATURE > Update CI
• FEATURE > Update pom and dependencies
• FEATURE > Add validation test

Fixed bugs

• BUG > Remove references to i-Code

V2.1.0

Fixes

• Plugin fails to start with SonarQube7 due to JAXB dependencies

Changes

• JAXB is removed and replaced by XStream

V2.0.1

This is a bugfix for the second version of the plugin, based on the FramaC v18.0 Argon.

This fix prevent an error when reading empty CSV files.

V2.0.0

This is the second version of the plugin, based on the FramaC v18.0 Argon.
The plugin parses the results files from Frama-C and extract some rules to show them in SonarQube dashboard:

• The text file result to extract kernel warnings
• The CSV file results to extract the errors from value/eva plugin

Bug fixed

• fix #8
• fix #9
• fix #10
• fix #11
• fix #12
• fix #13
• fix #14
• fix #16
• fix #17
• fix #18
• fix #19
• fix #21
• fix #22
• fix #25
• fix #30

V1.0.0

This is the first version of the plugin, based on the FramaC v15.0.
The plugin parse the results files from Frama-C and extract some rules to show them in SonarQube dashboard.