An open source compositional deadlock detector for Android Java

What this post added

This post introduces a new open-source compositional deadlock detector for Android Java, integrated into Meta's CI system. It leverages abstract interpretation and a novel heuristic to analyze hundreds of millions of lines of code, leading to over 200 deadlock fixes in the Android app family. This advancement significantly enhances Meta's commitment to robust development tools and proactive bug detection within its engineering practices.