From d569f93e7846d3b21caae6f71463971dfb8236ca Mon Sep 17 00:00:00 2001 From: Jami Cogswell Date: Mon, 24 Oct 2022 16:05:57 -0400 Subject: [PATCH] update getAlgoSpec --- .../semmle/code/java/security/InsufficientKeySize.qll | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/java/ql/lib/semmle/code/java/security/InsufficientKeySize.qll b/java/ql/lib/semmle/code/java/security/InsufficientKeySize.qll index 222e4c73f07..3e304ad14ce 100644 --- a/java/ql/lib/semmle/code/java/security/InsufficientKeySize.qll +++ b/java/ql/lib/semmle/code/java/security/InsufficientKeySize.qll @@ -157,12 +157,18 @@ private class AsymmetricKeyGenerator extends AlgoGeneratorObject { this instanceof JavaSecurityAlgoParamGenerator } - override Expr getAlgoSpec() { result = this.getAlgoSpec() } + override Expr getAlgoSpec() { + result = + [ + this.(JavaSecurityKeyPairGenerator).getAlgoSpec(), + this.(JavaSecurityAlgoParamGenerator).getAlgoSpec() + ] + } } /** An instance of a `javax.crypto.KeyGenerator`. */ private class SymmetricKeyGenerator extends AlgoGeneratorObject instanceof JavaxCryptoKeyGenerator { - override Expr getAlgoSpec() { result = this.getAlgoSpec() } + override Expr getAlgoSpec() { result = JavaxCryptoKeyGenerator.super.getAlgoSpec() } } /** An instance of an algorithm specification. */