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

Project Activity

See All Activity >

Categories

Code Generators, Source Code Analysis

License

GNU General Public License version 3.0 (GPLv3)

Follow Equals Checker

Equals Checker Web Site

You Might Also Like
Cloudflare secures and ensures the reliability of your external-facing resources such as websites, APIs, and applications. Icon
Cloudflare secures and ensures the reliability of your external-facing resources such as websites, APIs, and applications.

Cloudflare is the foundation for your infrastructure, applications, and teams.

It protects your internal resources such as behind-the-firewall applications, teams, and devices.
Get Started
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Equals Checker!

Additional Project Details

Intended Audience

Science/Research, Developers, Engineering

User Interface

Eclipse

Programming Language

Java

Related Categories

Java Code Generators, Java Source Code Analysis Tool

Registered

2011-02-03
Report inappropriate content