extensions: - addsTo: pack: codeql/java-all extensible: summaryModel data: - ["java.lang.module", "ModuleReader", True, "find", "(String)", "", "Argument[0]", "ReturnValue", "taint", "ai-manual"]