This commit is contained in:
Slavomir
2020-06-22 17:54:07 +03:00
parent 29eba441d7
commit 4ab929a656

View File

@@ -102,10 +102,7 @@ predicate checkTlsVersions(DataFlow::PathNode source, DataFlow::PathNode sink, s
not exists(Write write, DataFlow::ValueExpr v0 | write.getRhs() = sink.getNode() |
v0 = source.getNode().asExpr() and
v0.getIntValue() = 0 and
exists(DataFlow::Field fld |
fld.hasQualifiedName("crypto/tls", "Config", "MaxVersion") and
fld.getAWrite().getRhs() = sink.getNode()
)
getSinkTargetFieldName(sink) = "MaxVersion"
)
|
message =