Static identifying of synchronization faults in dynamic-multithreaded applications