Skip to content
sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results
Java Shell C
Branch: master
Clone or download
Latest commit 625cf10 Sep 10, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.
.travis.yml Create Oct 24, 2017 Create Nov 27, 2017
LICENSE Initial commit Sep 1, 2017
PULL_REQUEST_TEMPLATE Update PULL_REQUEST_TEMPLATE Nov 16, 2017 Delete a wrong reference to i-Code in README Jan 30, 2019

Sonar Frama-C plugin

Build Status SonarQube Quality Gate SonarQube Bugs SonarQube Coverage SonarQube Technical Debt

SonarQube plugin for the code analysis tool: Frama-C.

SonarQube is an open platform to manage code quality. This plugin adds the ability to import Frama-C results for C language.

This plugin is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.

You can get Frama-C on GitHub: Frama-C/Frama-C-snapshot.


  • Setup a SonarQube instance
  • Install Frama-C
  • Install Frama-C plugin
  • Run Frama-C
  • Run an analysis


  • Add support of Frama-C 17 external report

How to contribute

If you experienced a problem with the plugin please open an issue. Inside this issue please explain us how to reproduce this issue and paste the log.

If you want to do a PR, please put inside of it the reason of this pull request. If this pull request fix an issue please insert the number of the issue or explain inside of the PR how to reproduce this issue.

Feedback and Support

Contact :

Bugs and Feature requests:


Licensed under the GNU General Public License, Version 3.0

You can’t perform that action at this time.