Equals Checker

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

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).

GNU General Public License version 3.0 (GPLv3)

User Reviews

Be the first to post a review of Equals Checker!

Science/Research, Developers, Engineering

Eclipse

2011-02-03

Similar Business Software

Codeium

Codeium is a free AI-powered coding assistant that accelerates development by providing intelligent code autocompletion in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Codeium, developers can write code faster, eliminate repetitive...

See Software
Twilio

Design and deploy your ideal customer engagement experience. Twilio is a single fully-programmable platform with flexible APIs for any channel and over 400+ integrations, backed by a community of over 9 million developers. Build accurate and personalized experiences for your customers, easily...

See Software
Sourcegraph Cody

Cody is an AI coding assistant that uses search and codebase context to help you write code faster. Cody brings autocomplete, chat, and commands to your IDE, so you can generate code, write unit tests, create docs, and explain complex code using AI. Choose from the latest LLMs, including GPT-4o...

See Software