CATG is a concolic unit testing engine for Java programs. The implementation uses ASM for instrumentation.
ASM instrumentation instruments (see janala.instrument.) class files at runtime and dumps (see janala.logger.)
to a file a log of all instructions executed by the program and all values loaded from local stacks and heaps.
A concolic execution engine (see janala.interpreters.*) then takes the log and performs both symbolic and
concrete interpretation of the logged instructions.
You must have java, gradle, cvc4 (http://cvc4.cs.nyu.edu/downloads/), and python 2.7 in your PATH. Two extra jar files are needed to run the tool. Create a lib directory in the root directory and download two jar files
CATG alternatives and related libraries
Based on the "Formal Verification" category
Behavioral interface specification language that can be used to specify the behavior of code modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus. Used by several other verification tools.
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.
Do you think we are missing an alternative of CATG or a related project?
CATG RecommendationsThere are no recommendations yet. Be the first to promote CATG!
Have you used CATG? Share your experience. Write a short recommendation and CATG, you and your project will be promoted on Awesome Java.
Recently added CATG resources
Be the first to add one!