Compatibility matrix
Plugin | 0.1 | 0.2 |
|---|---|---|
Drools | 5.2.0 | 5.4.0 |
Description / Features
The source code of rules are imported with their violations.

Drools Verifier integration
Drools Verifier Name | Impacted element | Sonar Rule Key | Sonar Category | Sonar Priority | Description |
|---|---|---|---|---|---|
NOT_SPECIFIED |
| DROOLS_NOT_SPECIFIED |
|
|
|
RANGE_CHECK |
| DROOLS_RANGE_CHECK | Maintainability |
| Missing ranges, making sure they are all covered |
MISSING_EQUALITY |
| DROOLS_MISSING_EQUALITY | Maintainability | Minor | When there are inequalities, but not equality being catered for |
REDUNDANCY |
| DROOLS_REDUNDANCY |
|
| Same restriction exists twice |
SUBSUMPTION |
| DROOLS_SUBSUMPTION |
|
| When there multiple rules that have the same RHS, and the LHS has some overlapping conditions |
MISSING_COMPONENT |
| DROOLS_MISSING_COMPONENT |
|
|
|
OPTIMISATION |
| DROOLS_OPTIMISATION | Efficiency |
|
|
INCOHERENCE |
| DROOLS_INCOHERENCE |
| Major | Nothing can meet rule A |
OVERLAP |
| DROOLS_OVERLAP | Maintainability | Minor | Rules that are two restrictions are overlapping. Pattern1( a > 10 ) and Pattern1( a > 100 ) |
ALWAYS_FALSE |
| DROOLS_ALWAYS_FALSE |
| Major | Rules that are always false. Pattern( a == b && a != b ) |
ALWAYS_TRUE |
| DROOLS_ALWAYS_TRUE |
| Major | Rules and Patterns that are always satisfied. Pattern( a > b || a <= b ) |
EQUIVALANCE |
| DROOLS_EQUIVALANCE |
|
| Rule A is equivalent with rule B |
Usage & Installation
- Stop Sonar Web server
- Copy the JAR file to the directory extensions/plugins/
- Restart Sonar server
- Configure the plugin at global level and for each project
Running analysis
To kick-off the analysis, run mvn sonar:sonar
Known limitations
- Only drl files are imported.
- The inspection by the verifier is done file by file.
- The violation is positioned on the line of the rule name (not on the line of the error).

