[DIFF-INFORMED] Go: InsecureRandomness

https://github.com/d10c/codeql/blob/d10c/diff-informed-phase-3/go/ql/src/Security/CWE-338/InsecureRandomness.ql#L19
github · d10c · Jul 16, 2025 · Jul 16, 2025 · Jul 16, 2025 · Jul 16, 2025
commit 4b473622bc26de3809d62335c5d5cb5ba9dfdba8
@@ -39,6 +39,10 @@ module InsecureRandomness {
         n2.getType() instanceof IntegerType
       )
     }
+
+    predicate observeDiffInformedIncrementalMode() {
+      none() // Can't have accurate sink location override because of secondary use of `flowPath` in select.
+    }
   }
 
   /**
-Original file line number
+Diff line change
@@ Expand Up / @@ -39,6 +39,10 @@ module InsecureRandomness { @@
             n2.getType() instanceof IntegerType
           )
         }
+        predicate observeDiffInformedIncrementalMode() {
+          none() // Can't have accurate sink location override because of secondary use of `flowPath` in select.
+        }
       }
       /**
@@ Expand Down @@