libhthread is a thread error detector for detecting synchronization errors in c/c++ programs that use the pthreads