A Simple Static Deadlock Detector for Multithreaded Java Programs