[
https://issues.apache.org/jira/browse/HDDS-15560?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Ivan Andika updated HDDS-15560:
-------------------------------
Description:
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.
was:
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.
> 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]
