WIP DEBUG

Author: paldepind

rust/ql/lib/codeql/rust/internal/PathResolution.qll

@@ -1760,8 +1760,8 @@ private module Debug {
   private Locatable getRelevantLocatable() {
     exists(string filepath, int startline, int startcolumn, int endline, int endcolumn |
       result.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) and
-      filepath.matches("%/main.rs") and
-      startline = 52
+      filepath.matches("%/module_info.rs") and
+      startline = [131 .. 157]
     )
   }
 

rust/ql/lib/codeql/rust/internal/TypeInference.qll

@@ -2621,8 +2621,8 @@ private module Debug {
   private Locatable getRelevantLocatable() {
     exists(string filepath, int startline, int startcolumn, int endline, int endcolumn |
       result.getLocation().hasLocationInfo(filepath, startline, startcolumn, endline, endcolumn) and
-      filepath.matches("%/sqlx.rs") and
-      startline = [56 .. 60]
+      filepath.matches("%/module_info.rs") // and
+      // startline = [56 .. 60]
     )
   }
 
@@ -2636,6 +2636,11 @@ private module Debug {
     result = resolveCallTarget(c)
   }
 
+  predicate debugResolveCallTargetFin(MethodCallExpr c) {
+    c = getRelevantLocatable() and
+    c.getIdentifier().getText() = "get_module_info"
+  }
+
   predicate debugConditionSatisfiesConstraint(
     TypeAbstraction abs, TypeMention condition, TypeMention constraint
   ) {