Go: InsecureHostKeyCallback

d10c · d10c · commit a074edda0014 · 2025-07-07T11:40:00.000+02:00
diff --git a/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql b/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql
@@ -69,9 +69,7 @@ module Config implements DataFlow::ConfigSig {
 
   predicate isSink(DataFlow::Node sink) { writeIsSink(sink, _) }
 
-  predicate observeDiffInformedIncrementalMode() {
-    any() // TODO: Make sure that the location overrides match the query's select clause: Flow call outside 'select' clause (/Users/d10c/src/semmle-code/ql/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql@90:7:90:34), Flow call outside 'select' clause (/Users/d10c/src/semmle-code/ql/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql@96:9:96:41)
-  }
+  predicate observeDiffInformedIncrementalMode() { any() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -69,9 +69,7 @@ module Config implements DataFlow::ConfigSig {`
`69`	`69`
`70`	`70`	`predicate isSink(DataFlow::Node sink) { writeIsSink(sink, _) }`
`71`	`71`
`72`		`- predicate observeDiffInformedIncrementalMode() {`
`73`		`- any() // TODO: Make sure that the location overrides match the query's select clause: Flow call outside 'select' clause (/Users/d10c/src/semmle-code/ql/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql@90:7:90:34), Flow call outside 'select' clause (/Users/d10c/src/semmle-code/ql/go/ql/src/Security/CWE-322/InsecureHostKeyCallback.ql@96:9:96:41)`
`74`		`- }`
	`72`	`+ predicate observeDiffInformedIncrementalMode() { any() }`
`75`	`73`	`}`
`76`	`74`
`77`	`75`	`/**`