CrocoPat is a relational computation software designed for efficient and simplified use.
One of the most beneficial aspects of CrocoPat is its easy integration with other tools, as it can read and write relations from and to files in a simple tuple format. Additionally, the software enables the comprehension and assessment of large software systems. Many structural analyses of software systems can be formalized as relational queries, such as detecting design patterns, problematic design patterns, code clones, dead code, and identifying differences between the as-built and the as-designed architecture.
CrocoPat is capable of enabling practically important analyses of real-world software systems that are not possible with other graph analysis tools. It is especially powerful when it comes to analyzes involving transitive closures and the detection of patterns in graphs.
The software also boasts a high-level BDD package. While standard BDD packages provide operations for manipulating relations over bits, the CrocoPat library allows the manipulation of relations over strings. This feature relieves programmers of the burden of mapping strings to binary encodings and user variables to BDD variables.
The latest update to CrocoPat includes only maintenance activities, such as making it available for MacOS and bug fixes. Overall, CrocoPat is an excellent software tool for those looking for an efficient and powerful way to perform relational computation.
Version 2.1.3: N/A