Tool to detect deadlocks and data races