hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Crypto: Bug fix in output model

Browse Source
This commit is contained in:
REDMOND\brodes
2025-06-25 15:25:51 -04:00
parent 8280cbcaa1
commit 7477471bc5
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/experimental/quantum/OpenSSL/Operations/CipherOperation.qll
View File

@@ -181,7 +181,7 @@ class EvpCipherCall extends EvpCipherOperationFinalStep {
}
override DataFlow::Node getOutput(IOType type) {
super.getInput(type) = result
super.getOutput(type) = result
or
result.asExpr() = this.getArgument(1) and type = CiphertextIO()
}
@@ -199,7 +199,7 @@ class EvpCipherFinalCall extends EvpCipherOperationFinalStep {
}
override DataFlow::Node getOutput(IOType type) {
super.getInput(type) = result
super.getOutput(type) = result
or
result.asDefiningArgument() = this.getArgument(1) and
type = CiphertextIO()
@@ -224,7 +224,7 @@ class EvpPKeyCipherOperation extends EvpCipherOperationFinalStep {
}
override DataFlow::Node getOutput(IOType type) {
super.getInput(type) = result
super.getOutput(type) = result
or
result.asExpr() = this.getArgument(1) and type = CiphertextIO()
// TODO: could indicate text lengths here, as well