У меня действительно большой и старый проект, и мне нужно проанализировать его на предмет возможных тупиков. Выполнение этой задачи вручную займет много времени, и я пытаюсь найти что-нибудь полезное для поиска потенциальных тупиков в коде. Есть у кого-нибудь такой опыт? С какими инструментами, обучающими программами?
Я пробовал FindBugs, но он не предоставляет никакой информации о потенциальных взаимоблокировках.