a static analysis plugin