ConAn PaDi is a tool to detect Software Patterns Using Formal Concept Analysis.
Here is a screenshot:

This tool is based on the reengineering environment Moose and uses the ConAn framework to calculate the concepts. The screenshot shows the result of an example analyze.
The very left list (1) shows all the found patterns. The lower to lists in the middle shows all the tuples (2) of a pattern and its properties (3). The guessed name is shown (4) and can be changed. Is one concrete tuple highlighted its structure is shown in the center (5). The upper lists are for navigation: overloaded patterns (6), almost patterns (7), sub patterns (8) and cover patterns (9).
For analyzing, filters can by applied which hide certain elements or properties.
The filter defines which classes the tuples should be made of (10a+b), which orders (11) which properties (12) and if the property is bound to a method as well which methods (13).
Read more in the master thesis [pdf].