Skip to content

Commit c66ec63

Browse files
committed
Fix query compilation errors
1 parent 8f36624 commit c66ec63

File tree

4 files changed

+7
-5
lines changed

4 files changed

+7
-5
lines changed

java/ql/lib/experimental/quantum/Language.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -117,7 +117,7 @@ abstract class RandomnessInstance extends Crypto::RandomNumberGenerationInstance
117117
override DataFlow::Node getOutputNode() { result.asExpr() = this }
118118
}
119119

120-
private class SecureRandomnessInstance extends RandomnessInstance {
120+
class SecureRandomnessInstance extends RandomnessInstance {
121121
RandomDataSource source;
122122

123123
SecureRandomnessInstance() {
@@ -128,7 +128,7 @@ private class SecureRandomnessInstance extends RandomnessInstance {
128128
override string getGeneratorName() { result = source.getSourceOfRandomness().getQualifiedName() }
129129
}
130130

131-
private class InsecureRandomnessInstance extends RandomnessInstance {
131+
class InsecureRandomnessInstance extends RandomnessInstance {
132132
RandomDataSource source;
133133

134134
InsecureRandomnessInstance() {

java/ql/src/experimental/quantum/InventorySlices/KnownAsymmetricAlgorithm.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,4 +11,4 @@ import java
1111
import experimental.quantum.Language
1212

1313
from Crypto::AsymmetricAlgorithmNode a
14-
select a, a.getAlgorithmName()
14+
select a, a.asAlgorithmNode().getAlgorithmName()

java/ql/src/experimental/quantum/InventorySlices/KnownAsymmetricOperationAlgorithm.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,4 @@ import experimental.quantum.Language
1212

1313
from Crypto::OperationNode op, Crypto::AsymmetricAlgorithmNode a
1414
where a = op.getAKnownAlgorithm()
15-
select op, a.getAlgorithmName()
15+
select op, a.asAlgorithmNode().getAlgorithmName()

shared/quantum/codeql/quantum/experimental/Model.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1584,7 +1584,9 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
15841584
this.(KeyOperationAlgorithmNode).isAsymmetric()
15851585
}
15861586

1587-
string toString() { result = super.getAlgorithmName() }
1587+
string toString() { result = super.toString() }
1588+
1589+
AlgorithmNode asAlgorithmNode() { result = this }
15881590
}
15891591

15901592
/**

0 commit comments

Comments
 (0)