CPP: Further speedup.

geoffw0 · geoffw0 · commit c2812197a960 · 2019-11-01T18:16:12.000Z
diff --git a/cpp/ql/src/Likely Bugs/Protocols/boostorg/TlsSettingsMisconfiguration.ql b/cpp/ql/src/Likely Bugs/Protocols/boostorg/TlsSettingsMisconfiguration.ql
@@ -19,7 +19,12 @@ class ExistsAnyFlowConfig extends DataFlow::Configuration {
  	)
   }
 
-  override predicate isSink(DataFlow::Node sink) { any() }
+  override predicate isSink(DataFlow::Node sink) {
+  	exists(BoostorgAsio::SslSetOptionsFunction f, FunctionCall fcSetOptions |
+  	  f.getACallToThisFunction() = fcSetOptions and
+  	  fcSetOptions.getQualifier() = sink.asExpr()
+  	)
+  }
 }
 
 bindingset[flag]

Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,12 @@ class ExistsAnyFlowConfig extends DataFlow::Configuration {`
`19`	`19`	`)`
`20`	`20`	`}`
`21`	`21`
`22`		`- override predicate isSink(DataFlow::Node sink) { any() }`
	`22`	`+ override predicate isSink(DataFlow::Node sink) {`
	`23`	`+ exists(BoostorgAsio::SslSetOptionsFunction f, FunctionCall fcSetOptions \|`
	`24`	`+ f.getACallToThisFunction() = fcSetOptions and`
	`25`	`+ fcSetOptions.getQualifier() = sink.asExpr()`
	`26`	`+ )`
	`27`	`+ }`
`23`	`28`	`}`
`24`	`29`
`25`	`30`	`bindingset[flag]`