Skip to content

Commit d988afd

Browse files
committed
Adding an EVP_AASYM_CIPHER_fetch getter.
1 parent 7757279 commit d988afd

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed

cpp/ql/lib/experimental/Quantum/OpenSSL/OpenSSLAlgorithmGetter.qll

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -224,6 +224,30 @@ class EVPCipherGetterCall extends OpenSSLAlgorithmGetterCall {
224224
override Expr getResultExpr() { result = resultExpr }
225225
}
226226

227+
class EVPAsymCipherGetterCall extends OpenSSLAlgorithmGetterCall {
228+
DataFlow::Node valueArgNode;
229+
DataFlow::Node resultNode;
230+
Expr valueArgExpr;
231+
Expr resultExpr;
232+
233+
EVPAsymCipherGetterCall() {
234+
isPossibleOpenSSLFunction(this.getTarget()) and
235+
resultExpr = this and
236+
resultNode.asExpr() = this and
237+
this.getTarget().getName() = "EVP_ASYM_CIPHER_fetch" and
238+
valueArgExpr = this.getArgument(1) and
239+
valueArgNode.asExpr() = valueArgExpr
240+
}
241+
242+
override DataFlow::Node getValueArgNode() { result = valueArgNode }
243+
244+
override DataFlow::Node getResultNode() { result = resultNode }
245+
246+
override Expr getValueArgExpr() { result = valueArgExpr }
247+
248+
override Expr getResultExpr() { result = resultExpr }
249+
}
250+
227251
class EVPDigestGetterCall extends OpenSSLAlgorithmGetterCall {
228252
DataFlow::Node valueArgNode;
229253
DataFlow::Node resultNode;

0 commit comments

Comments
 (0)