a concolic testing engine for Java (by ksen007)


Basic CATG repo stats
about 3 years ago

ksen007/janala2 is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.

CATG Alternatives

Similar projects and alternatives to CATG based on common topics and language

  • GitHub repo Checker Framework

    Pluggable type-checking for Java

  • GitHub repo OpenJML

    This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

  • GitHub repo jCUTE

    Java Concolic Unit Testing Engine

  • GitHub repo JMLOK 2.0

    Tool for detecting and classifying nonconformances in Java/JML projects.

  • GitHub repo hacl-star

    HACL*, a formally verified cryptographic library written in F*

  • GitHub repo practical-fm

    A gently curated list of companies using verification formal methods in industry

  • GitHub repo creusot

    deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better CATG alternative or higher similarity.


Posts where CATG has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.

We don't know posts mentioning CATG yet. We started tracking mentions in Dec 2020.