статический анализ

Нужно убедиться, что все обращения к методам определенного класса (аналог EntityManager) делаются из методов либо помеченных специальными аннотациями (аналог @Transactional), либо вызываются в Runnable блоке из методов другого предопределенного класса (аналог TransactionTemplate).

Не подскажете инструмент, который позволит быстро провести такую верификацию?