Static Analysis of Groups Question:

What is static analysis tools?