Singleton set literal fix

Fixing auto-code scanning recommendation
This commit is contained in:
Raul Garcia
2023-03-21 08:02:30 -07:00
parent 1400b4b520
commit 8b4826c0b4

View File

@@ -25,7 +25,7 @@ predicate isUnsafeClientSideAzureStorageEncryptionViaAttributes(Call call, AttrN
|
s1 in ["key_encryption_key", "key_resolver_function"] and
s2 in ["ContainerClient", "BlobClient", "BlobServiceClient"] and
s3 in ["upload_blob"] and
s3 = "upload_blob" and
n = API::moduleImport("azure").getMember("storage").getMember("blob").getMember(s2).getAMember() and
startingNode = n.getACall().getReturn().getAValueReachableFromSource().asExpr().getAFlowNode() and
startingNode.strictlyReaches(ctrlFlowNode) and