From a10db25b7d27c8a629e5846053fdbe515344a1e8 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Tue, 28 Jul 2020 09:48:01 +0100 Subject: [PATCH] Remove redundant constraint --- ql/src/experimental/CWE-327/InsecureTLS.ql | 2 -- 1 file changed, 2 deletions(-) diff --git a/ql/src/experimental/CWE-327/InsecureTLS.ql b/ql/src/experimental/CWE-327/InsecureTLS.ql index b09738e9e1e..ae2a0cdc146 100644 --- a/ql/src/experimental/CWE-327/InsecureTLS.ql +++ b/ql/src/experimental/CWE-327/InsecureTLS.ql @@ -78,7 +78,6 @@ class TlsVersionFlowConfig extends TaintTracking::Configuration { */ predicate isSink(DataFlow::Node sink, Field fld, DataFlow::Node base, Write fieldWrite) { fld.hasQualifiedName("crypto/tls", "Config", ["MinVersion", "MaxVersion"]) and - fieldWrite = fld.getAWrite() and fieldWrite.writesField(base, fld, sink) } @@ -207,7 +206,6 @@ class TlsInsecureCipherSuitesFlowConfig extends TaintTracking::Configuration { */ predicate isSink(DataFlow::Node sink, Field fld, DataFlow::Node base, Write fieldWrite) { fld.hasQualifiedName("crypto/tls", "Config", "CipherSuites") and - fieldWrite = fld.getAWrite() and fieldWrite.writesField(base, fld, sink) }