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 ...
Abstract: Juliet Test Suite 1.1 offers test cases for assessing the effectiveness of static analyzers and other software-assurance tools.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback