Skip to content

Commit 50db4fd

Browse files
bdrodesropwareJB
authored andcommitted
Moved Cpp into sub directory 'cryptography' instead of crypto. Added python models, inventory, and example alerts.
1 parent 7560db6 commit 50db4fd

File tree

73 files changed

+2763
-44
lines changed

Some content is hidden

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

73 files changed

+2763
-44
lines changed

cpp/ql/lib/experimental/crypto/Concepts.qll

Lines changed: 0 additions & 5 deletions
This file was deleted.
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
import experimental.cryptography.CryptoArtifact
2+
import experimental.cryptography.CryptoAlgorithmNames
3+
4+
import experimental.cryptography.modules.OpenSSL as OpenSSL
5+

cpp/ql/lib/experimental/crypto/CryptoArtifact.qll renamed to cpp/ql/lib/experimental/cryptography/CryptoArtifact.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
import cpp
2-
private import experimental.crypto.CryptoAlgorithmNames
2+
private import experimental.cryptography.CryptoAlgorithmNames
33
import semmle.code.cpp.ir.dataflow.TaintTracking
44

55

cpp/ql/lib/experimental/crypto/modules/OpenSSL.qll renamed to cpp/ql/lib/experimental/cryptography/modules/OpenSSL.qll

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
import cpp
2-
import experimental.crypto.CryptoAlgorithmNames
3-
import experimental.crypto.CryptoArtifact
4-
import experimental.crypto.utils.OpenSSL.CryptoFunction
5-
import experimental.crypto.utils.OpenSSL.AlgorithmSink
6-
import experimental.crypto.utils.OpenSSL.PassthroughFunction
7-
import experimental.crypto.utils.OpenSSL.CryptoAlgorithm
8-
import experimental.crypto.CryptoArtifact
2+
import experimental.cryptography.CryptoAlgorithmNames
3+
import experimental.cryptography.CryptoArtifact
4+
import experimental.cryptography.utils.OpenSSL.CryptoFunction
5+
import experimental.cryptography.utils.OpenSSL.AlgorithmSink
6+
import experimental.cryptography.utils.OpenSSL.PassthroughFunction
7+
import experimental.cryptography.utils.OpenSSL.CryptoAlgorithm
8+
import experimental.cryptography.CryptoArtifact
99
// import semmle.code.cpp.ir.dataflow.TaintTracking
1010
import semmle.code.cpp.ir.dataflow.DataFlow
1111

cpp/ql/lib/experimental/crypto/utils/OpenSSL/AlgorithmSink.qll renamed to cpp/ql/lib/experimental/cryptography/utils/OpenSSL/AlgorithmSink.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@
77

88
//TODO: enforce a hierarchy of AlgorithmSinkArgument, e.g., so I can get all Asymmetric SinkArguments that includes all the strictly RSA etc.
99
import cpp
10-
import experimental.crypto.utils.OpenSSL.LibraryFunction
11-
import experimental.crypto.CryptoAlgorithmNames
10+
import experimental.cryptography.utils.OpenSSL.LibraryFunction
11+
import experimental.cryptography.CryptoAlgorithmNames
1212

1313
predicate isAlgorithmSink(AlgorithmSinkArgument arg, string algType){
1414
arg.algType() = algType

cpp/ql/lib/experimental/crypto/utils/OpenSSL/CryptoAlgorithm.qll renamed to cpp/ql/lib/experimental/cryptography/utils/OpenSSL/CryptoAlgorithm.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.crypto.CryptoAlgorithmNames
2+
import experimental.cryptography.CryptoAlgorithmNames
33

44
predicate isValidAlgorithmLiteral(Literal e){
55
exists(getPossibleNidFromLiteral(e)) or e instanceof StringLiteral

cpp/ql/lib/experimental/crypto/utils/OpenSSL/CryptoFunction.qll renamed to cpp/ql/lib/experimental/cryptography/utils/OpenSSL/CryptoFunction.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
import cpp
2-
import experimental.crypto.utils.OpenSSL.LibraryFunction
3-
import experimental.crypto.CryptoAlgorithmNames
2+
import experimental.cryptography.utils.OpenSSL.LibraryFunction
3+
import experimental.cryptography.CryptoAlgorithmNames
44

55
predicate inferredOpenSSLCryptoFunctionCall(Call c , string normalized, string algType){
66
inferredOpenSSLCryptoFunction(c.getTarget(), normalized, algType)

cpp/ql/lib/experimental/crypto/utils/OpenSSL/DataBuilders.qll renamed to cpp/ql/lib/experimental/cryptography/utils/OpenSSL/DataBuilders.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@
55
*/
66

77
import cpp
8-
import experimental.crypto.CryptoAlgorithmNames
9-
import experimental.crypto.utils.OpenSSL.CryptoFunction
8+
import experimental.cryptography.CryptoAlgorithmNames
9+
import experimental.cryptography.utils.OpenSSL.CryptoFunction
1010

1111

1212
private string basicNormalizeFunctionName(Function f, string algType) {

0 commit comments

Comments
 (0)