parallel static analysis