CrocoPat

CrocoPat is a powerful tool designed for efficient relational computation. Its unique features include the ability to manipulate relations of any arity, including graphs, with a simple and expressive query and manipulation language based on first-order predicate calculus. The software's implementation is based on the binary decision diagram (BDD) data structure, allowing for the compact representation of large relations in computer-aided verification.

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.