tool for static analysis