Thank you! The focus of this tool is not on verifying symmetry, and I can't do it currently. But thanks for the heads-up, I'm pretty sure my advisor is interested in whatever kind of real-life verification problems come along. Especially if they're clear-cut as in the "symmetry of equals" case.
Regarding public availability: I plan to release this at some point, but not before my paper has been accepted somewhere ;). Then I still have to clean it up a bit --- it works quite well as it is, but the handling could be a LOT more user friendly. From the current output you basically have to know the inner workings of this tool to diagnose what the error is. Also it is by no means perfect --- I achieve only (?) 62% coverage on Apache Java projects. I.e. on 38% of hashCode/equals pairs, the verifier terminates with an error: "Can't handle byte code instruction", "Can't handle exceptions thrown in hashCode or equals" and so on. Johannes > I'd also be interested in the types of issues your analyser is able to > detect. One of the most common cases I see is breaking symmetry of > equality. This is usually introduce by extending from an non abstract > class and overriding equals. Can you deal with this? > > On a more general note, will (parts) of your work be publicly available? > For example as a stand alone utility of even better as plugin for find > bugs or the like? I think this would be of tremendous value as equals > implementations are notorious hard to get right. Any links are appreciated. > > Michael
