6 Forks
6 Stars
6 Watchers

sonar-frama-c-plugin

sonar-frama-c-plugin is a plugin sonarqube to integrate frama-c results

How to download and setup sonar-frama-c-plugin

Open terminal and run command
git clone https://github.com/cnescatlab/sonar-frama-c-plugin.git
git clone is used to create a copy or clone of sonar-frama-c-plugin repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with sonar-frama-c-plugin https://github.com/cnescatlab/sonar-frama-c-plugin/archive/master.zip

Or simply clone sonar-frama-c-plugin with SSH
[email protected]:cnescatlab/sonar-frama-c-plugin.git

If you have some problems with sonar-frama-c-plugin

You may open issue on sonar-frama-c-plugin support forum (system) here: https://github.com/cnescatlab/sonar-frama-c-plugin/issues