...
The Coverity Prevent Version 5.0 BAD_EQ checker can detect the instance where the "==" operator is being used for equality of objects when, ideally, the equal method equals() should have been used. The "==" operator could consider objects different when the equals method () considers them the same.
Static detection of attempts to use array_object.equals(...) appears to be straightforward.
...