Exactly the caveat that they themselves disclose: some scenarios are too dynamic for static analysis.