A static analysis framework.