Combination of static and dynamic analysis of C/pthreads programs that avoids deadlocks