Python: suggested refactor

This commit is contained in:
Rasmus Lerchedahl Petersen
2021-03-26 13:08:45 +01:00
parent 1be2be843d
commit 2e948da3b4
2 changed files with 5 additions and 4 deletions

View File

@@ -67,9 +67,8 @@ predicate unsafe_connection_creation(
}
/** A connection is created insecurely without reference to a context. */
predicate unsafe_context_creation(DataFlow::Node node, string insecure_version, CallNode call) {
predicate unsafe_context_creation(DataFlow::CallCfgNode call, string insecure_version) {
exists(TlsLibrary l, ContextCreation cc | cc = l.insecure_context_creation(insecure_version) |
cc = node and
cc.getNode() = call
cc = call
)
}

View File

@@ -37,7 +37,9 @@ from
where
unsafe_connection_creation(creation, insecure_version, contextOrigin, specific)
or
unsafe_context_creation(creation, insecure_version, contextOrigin.asCfgNode()) and specific = true
unsafe_context_creation(creation, insecure_version) and
contextOrigin = creation and
specific = true
select creation,
"Insecure SSL/TLS protocol version " + insecure_version + " " + verb(specific) + " by $@ ",
contextOrigin, originName(contextOrigin)