QL: fix visibility of module parameters

2026-04-30 03:05:15 +02:00 · 2022-12-20 11:03:55 +01:00
parent bad5c65144
commit c8255770bc
1 changed files with 1 additions and 1 deletions
--- a/ql/ql/src/codeql_ql/ast/internal/Type.qll
+++ b/ql/ql/src/codeql_ql/ast/internal/Type.qll
@@ -387,7 +387,7 @@ private predicate defines(FileOrModule m, string name, Type t, boolean public) {
  exists(Module mod, SignatureExpr param, int i |
    m.asModule() = mod and
    mod.hasParameter(i, name, param) and
-    public = true
+    public = false
  |
    // resolve to the signature class
    t = param.asType().getResolvedType()