Static Analysis of the entire JRE to predict deadlock exploits.