Skip to content

Commit c19291b

Browse files
nicolaswillnicolaswill
committed
Refactor 'cryptography' and 'Quantum' to 'quantum'
1 parent 314f1ff commit c19291b

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

50 files changed

+130
-136
lines changed

‎cpp/ql/lib/experimental/Quantum/Language.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,4 @@
1-
private import codeql.cryptography.Model
2-
import semmle.code.cpp.ir.IR
3-
import semmle.code.cpp.security.FlowSources as FlowSources
1+
import codeql.quantum.Model
42
import semmle.code.cpp.dataflow.new.DataFlow
53
private import cpp as Lang
64

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/AlgToAVCFlow.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
import cpp
22
import semmle.code.cpp.dataflow.new.DataFlow
3-
import experimental.Quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
4-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers // import all known alg value consummers
3+
import experimental.quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
4+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
55

66
/**
77
* Traces 'known algorithms' to AVCs, specifically

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/BlockAlgorithmInstance.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
import cpp
2-
import experimental.Quantum.Language
2+
import experimental.quantum.Language
33
import OpenSSLAlgorithmInstanceBase
4-
import experimental.Quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
5-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.DirectAlgorithmValueConsumer
4+
import experimental.quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
5+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.DirectAlgorithmValueConsumer
66
import AlgToAVCFlow
77

88
/**

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/CipherAlgorithmInstance.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
import cpp
2-
import experimental.Quantum.Language
2+
import experimental.quantum.Language
33
import KnownAlgorithmConstants
44
import Crypto::KeyOpAlg as KeyOpAlg
55
import OpenSSLAlgorithmInstanceBase
66
import PaddingAlgorithmInstance
7-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
7+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
88
import AlgToAVCFlow
99
import BlockAlgorithmInstance
1010

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/HashAlgorithmInstance.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
import cpp
2-
import experimental.Quantum.Language
2+
import experimental.quantum.Language
33
import KnownAlgorithmConstants
4-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
4+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
55
import AlgToAVCFlow
66

77
predicate knownOpenSSLConstantToHashFamilyType(

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
import cpp
2-
import experimental.Quantum.OpenSSL.LibraryDetector
2+
import experimental.quantum.OpenSSL.LibraryDetector
33

44
predicate resolveAlgorithmFromExpr(Expr e, string normalizedName, string algType) {
55
resolveAlgorithmFromCall(e, normalizedName, algType)

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/OpenSSLAlgorithmInstanceBase.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
import experimental.Quantum.Language
2-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumerBase
1+
import experimental.quantum.Language
2+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumerBase
33

44
abstract class OpenSSLAlgorithmInstance extends Crypto::AlgorithmInstance {
55
abstract OpenSSLAlgorithmValueConsumer getAVC();

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmInstances/PaddingAlgorithmInstance.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
import cpp
2-
import experimental.Quantum.Language
2+
import experimental.quantum.Language
33
import OpenSSLAlgorithmInstanceBase
4-
import experimental.Quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
4+
import experimental.quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
55
import AlgToAVCFlow
6-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.DirectAlgorithmValueConsumer
6+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.DirectAlgorithmValueConsumer
77

88
/**
99
* Given a `KnownOpenSSLPaddingAlgorithmConstant`, converts this to a padding family type.

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmValueConsumers/CipherAlgorithmValueConsumer.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
import cpp
2-
import experimental.Quantum.Language
3-
import experimental.Quantum.OpenSSL.LibraryDetector
4-
import experimental.Quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
5-
import experimental.Quantum.OpenSSL.AlgorithmInstances.OpenSSLAlgorithmInstanceBase
2+
import experimental.quantum.Language
3+
import experimental.quantum.OpenSSL.LibraryDetector
4+
import experimental.quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
5+
import experimental.quantum.OpenSSL.AlgorithmInstances.OpenSSLAlgorithmInstanceBase
66
import OpenSSLAlgorithmValueConsumerBase
77

88
abstract class CipherAlgorithmValueConsumer extends OpenSSLAlgorithmValueConsumer { }

‎cpp/ql/lib/experimental/Quantum/OpenSSL/AlgorithmValueConsumers/DirectAlgorithmValueConsumer.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
import cpp
2-
import experimental.Quantum.Language
3-
import experimental.Quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
4-
import experimental.Quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumerBase
2+
import experimental.quantum.Language
3+
import experimental.quantum.OpenSSL.AlgorithmInstances.KnownAlgorithmConstants
4+
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumerBase
55

66
// TODO: can self referential to itself, which is also an algorithm (Known algorithm)
77
/**

0 commit comments

Comments
 (0)