hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix query compilation errors

Browse Source
This commit is contained in:
Nicolas Will
2025-05-12 14:48:58 +02:00
parent 8f36624171
commit c66ec63333
4 changed files with 7 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/experimental/quantum/Language.qll
View File

@@ -117,7 +117,7 @@ abstract class RandomnessInstance extends Crypto::RandomNumberGenerationInstance
override DataFlow::Node getOutputNode() { result.asExpr() = this }
}
private class SecureRandomnessInstance extends RandomnessInstance {
class SecureRandomnessInstance extends RandomnessInstance {
RandomDataSource source;
SecureRandomnessInstance() {
@@ -128,7 +128,7 @@ private class SecureRandomnessInstance extends RandomnessInstance {
override string getGeneratorName() { result = source.getSourceOfRandomness().getQualifiedName() }
}
private class InsecureRandomnessInstance extends RandomnessInstance {
class InsecureRandomnessInstance extends RandomnessInstance {
RandomDataSource source;
InsecureRandomnessInstance() {

2
java/ql/src/experimental/quantum/InventorySlices/KnownAsymmetricAlgorithm.ql
View File

@@ -11,4 +11,4 @@ import java
import experimental.quantum.Language
from Crypto::AsymmetricAlgorithmNode a
select a, a.getAlgorithmName()
select a, a.asAlgorithmNode().getAlgorithmName()

2
java/ql/src/experimental/quantum/InventorySlices/KnownAsymmetricOperationAlgorithm.ql
View File

@@ -12,4 +12,4 @@ import experimental.quantum.Language
from Crypto::OperationNode op, Crypto::AsymmetricAlgorithmNode a
where a = op.getAKnownAlgorithm()
select op, a.getAlgorithmName()
select op, a.asAlgorithmNode().getAlgorithmName()

4
shared/quantum/codeql/quantum/experimental/Model.qll
View File

@@ -1584,7 +1584,9 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
this.(KeyOperationAlgorithmNode).isAsymmetric()
}
string toString() { result = super.getAlgorithmName() }
string toString() { result = super.toString() }
AlgorithmNode asAlgorithmNode() { result = this }
}
/**