An exploration of how best to design static analysis tools to prevent problems in code organization-wide.