Sonar Frama-C plugin

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.

For this plugin to work it is required to install either the official C/C++ SonarQube plugin or the C++ Community plugin.

Quickstart

• Setup a SonarQube instance
• Install Frama-C
• Install Frama-C plugin and one C/C++ plugin
• Run Frama-C
• Run an analysis

Features

• 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.

All details are available in CONTRIBUTING.

Feedback and Support

Contact : [email protected]

Bugs and Feature requests: https://github.com/lequal/sonar-frama-c-plugin/issues

License

Licensed under the GNU General Public License, Version 3.0