CrocoPat: efficient pattern analysis in object-oriented programs
Dirk Beyer, Claus Lewerentz · 2004
CrocoPat is a new tool for efficient pattern-based analysis of large object-oriented programs. Patterns can be flexibly specified by expressions based on standard mathematics provided by the tool language. It is easy to specify patterns in different variants in a compact form, adapted to specific situations.