A static checker for identifying unstable code.