Is there any library that can analysis if some code uses a design pattern?

When teaching students with design patterns in Java, we want to see if students are using specified design pattern in code. But there are a lot of submissions, it's not easy to check it all by human.

If there is any library that can analysis the code to see it that uses some design patterns? I see some library like sonar/pmd/checkstyle can analysis the code see if there is any problems, but not sure if they can do this job also