equals checker

We have hosted the application equals checker in order to run this application in our online workstations with Wine or directly.

Quick description about equals checker:

A static checker that model checks the implementation of equality for an Eclipse Java Project.

Features:

• Detection of low-level errors through path-sensitive, data-flow analysis.
• Detection of semantic errors related to equivalence relation through the Alloy constraint solver.
• Eclipse plugin update site available (see project's home page).

Audience: Developers, Engineering, Science/Research.
User interface: Eclipse.
Programming Language: Java.

.