automated static analysis