C++: Use the new predicate to remove a cartesian-like join.

2025-12-16 16:53:25 +01:00 · 2025-11-08 16:28:34 +00:00
parent a922d5099f
commit bfe2b7dc44
2 changed files with 1 additions and 19495 deletions
--- a/cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/ExternalFlow.qll
@@ -839,6 +839,7 @@ private Function getFunction(string namespace, string type, boolean subtypes, st
 * in `name`.
 */
 private predicate signatureMatches(Function func, string signature, string type, string name, int i) {
+  func = getFunction(_, type, _, name) and
  exists(string s |
    s = getSignatureParameterName(signature, type, name, i) and
    s = getParameterTypeName(func, i)
--- a/cpp/ql/test/library-tests/dataflow/taint-tests/test_mad-signatures.expected
+++ b/cpp/ql/test/library-tests/dataflow/taint-tests/test_mad-signatures.expected