Fully automatic and precise detection of thread safety violations