Инструмент для обнаружения злоупотреблений API POSIX pthreads, но не Helgrind

По какой-то причине я не могу использовать Helgrind для обнаружения злоупотреблений API POSIX pthreads (например, разблокировка неблокированного мьютекса, освобождение памяти, которая содержит заблокированный мьютекс и т. Д.). Я пытался найти другой инструмент, но на самом деле не удалось. Как я выяснил, Dr. Memory не может использоваться для обнаружения ошибок потоков, а Thread Sanitizer способен обнаруживать только гонки данных. Это действительно так? Не могли бы вы порекомендовать мне другие инструменты для этого?