[ 
https://issues.apache.org/jira/browse/PROTON-2417?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
 ]

Jiri Daněk updated PROTON-2417:
-------------------------------
    Description: 
Artemis uses Error Prone (https://errorprone.info/), then there is also 
SpotBugs (https://spotbugs.github.io/) or possibly Infer 
(https://fbinfer.com/). Apache projects can get resources on 
https://sonarcloud.io/. And there is always Coverity Scan 
(https://scan.coverity.com/).

One (or more) of these tools/services could/should be used, because they can 
find real bugs with only a reasonable effort.

  was:
Artemis uses Error Prone (https://errorprone.info/), then there is also 
SpotBugs (https://spotbugs.github.io/) or possibly Ifer (https://fbinfer.com/). 
Apache projects can get resources on https://sonarcloud.io/. And there is 
always Coverity Scan (https://scan.coverity.com/).

One (or more) of these tools/services could/should be used, because they can 
find real bugs with only a reasonable effort.


> [ProtonJ2] Add errorprone or some other linter/checker to the maven build
> -------------------------------------------------------------------------
>
>                 Key: PROTON-2417
>                 URL: https://issues.apache.org/jira/browse/PROTON-2417
>             Project: Qpid Proton
>          Issue Type: Bug
>          Components: protonj2
>            Reporter: Jiri Daněk
>            Assignee: Jiri Daněk
>            Priority: Major
>         Attachments: infer-report.txt, infer-report.zip
>
>
> Artemis uses Error Prone (https://errorprone.info/), then there is also 
> SpotBugs (https://spotbugs.github.io/) or possibly Infer 
> (https://fbinfer.com/). Apache projects can get resources on 
> https://sonarcloud.io/. And there is always Coverity Scan 
> (https://scan.coverity.com/).
> One (or more) of these tools/services could/should be used, because they can 
> find real bugs with only a reasonable effort.



--
This message was sent by Atlassian Jira
(v8.3.4#803005)

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to