[DIFF-INFORMED] Go: InsecureHostKeyCallback

d10c · d10c · commit b4010ac2b4df · 2025-07-17T11:46:53.000+02:00
diff --git a/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql b/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql
@@ -68,6 +68,8 @@ module Config implements DataFlow::ConfigSig {
   }
 
   predicate isSink(DataFlow::Node sink) { writeIsSink(sink, _) }
+
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,8 @@ module Config implements DataFlow::ConfigSig {`
`68`	`68`	`}`
`69`	`69`
`70`	`70`	`predicate isSink(DataFlow::Node sink) { writeIsSink(sink, _) }`
	`71`	`+`
	`72`	`+ predicate observeDiffInformedIncrementalMode() { any() }`
`71`	`73`	`}`
`72`	`74`
`73`	`75`	`/**`