Static analysis