[
https://issues.apache.org/jira/browse/HDDS-15560?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18091758#comment-18091758
]
Ivan Andika commented on HDDS-15560:
------------------------------------
See
[https://github.com/ivandika3/ozone/actions/runs/28162780146/job/83407167430]
for initial Infer output.
> Introduce inter-procedural static analysis fbinfer to Ozone CI
> --------------------------------------------------------------
>
> Key: HDDS-15560
> URL: https://issues.apache.org/jira/browse/HDDS-15560
> Project: Apache Ozone
> Issue Type: Test
> Reporter: Ivan Andika
> Assignee: Ivan Andika
> Priority: Major
>
> We can explore adding fbinfer ( [https://fbinfer.com/] ) to the CI to catch
> even more bugs. It's been used in other ASF projects like Apache Arrow to run
> inter-procedural static analysis that can catch more complex bugs
> (ARROW-1626).
> This is based on the observation that unlike language like Golang ("go test
> -race"), Java currently does not have a way to detect data race. fbinfer will
> allow us to use RacerD ([https://fbinfer.com/docs/checker-racerd/]) which
> should allow us to detect data race.
> Hopefully with this, we can find more tricky bugs and gain confidence when
> implementing patches.
> Also this being a static analyzer means it is not invasive.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
