dbg

Author: hvitved

rust/ql/src/queries/security/CWE-825/AccessAfterLifetime.ql

@@ -58,6 +58,8 @@ module AccessAfterLifetimeConfig implements DataFlow::ConfigSig {
 
 module AccessAfterLifetimeFlow = TaintTracking::Global<AccessAfterLifetimeConfig>;
 
+private predicate sdf = AccessAfterLifetimeFlow::Debug::stage3pathNode/7;
+
 predicate sourceBlock(Source s, Variable target, BlockExpr be) {
   AccessAfterLifetimeFlow::flow(s, _) and
   sourceValueScope(s, target, be.getEnclosingBlock*())

shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

@@ -2677,6 +2677,19 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
             c = pathNodes(node) and
             c = max(pathNodes(_))
           }
+
+          predicate pathNode(
+            Nd node, Cc cc, SummaryCtx summaryCtx, Typ t, Ap ap, TypOption stored, int c
+          ) {
+            exists(TPathNodeMid(node, cc, summaryCtx, t, ap, stored)) and
+            c = pathNodes(node) and
+            // node.getLocation()
+            //     .hasLocationInfo(any(string s | s.matches("%/compiler/rustc_span/src/lib.rs")),
+            //       1164, _, _, _)
+            node.getLocation()
+                .hasLocationInfo(any(string s | s.matches("%/compiler/rustc_span/src/lib.rs")),
+                  1186, _, _, _)
+          }
         }
         /* End: Stage logic. */
       }
@@ -3737,6 +3750,8 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
 
       predicate stage3maxPathNodes = Stage3::Debug::maxPathNodes/7;
 
+      predicate stage3pathNode = Stage3::Debug::pathNode/7;
+
       predicate stageStats4(
         int n, string stage, int nodes, int fields, int conscand, int states, int tuples,
         int calledges, int tfnodes, int tftuples