equals checker online with Winfy

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.

.