CodeChecker: анализируем большой проект на С++ быстро, эффективно и бесплатно

Чекер на дедлоки у Clang SA действительно сырой (из группы alpha, она как раз не подключается при --enable-all, поэтому не сработало). Но дедлоки он замечает, зачастую связанные с повторным lock уже залоченного мьютекса. Включить чекер можно либо подключив группу alpha, либо его самого напрямую (--enable=alpha или --enable=alpha.unix.PthreadLock).