Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 790a607

Browse files
bdrodesbdrodes
committed
Crypto: Acronym change from OpenSSL to OpenSsl, AVC to Avc and EVP to Evp.
1 parent 90e480b commit 790a607

36 files changed

Lines changed: 315 additions & 317 deletions

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -92,7 +92,7 @@ module GenericDataSourceFlowConfig implements DataFlow::ConfigSig {
9292
module GenericDataSourceFlow = TaintTracking::Global<GenericDataSourceFlowConfig>;
9393

9494
private class ConstantDataSource extends Crypto::GenericConstantSourceInstance instanceof Literal {
95-
ConstantDataSource() { this instanceof OpenSSLGenericSourceCandidateLiteral }
95+
ConstantDataSource() { this instanceof OpenSslGenericSourceCandidateLiteral }
9696

9797
override DataFlow::Node getOutputNode() { result.asExpr() = this }
9898

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

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -12,15 +12,15 @@ private import PaddingAlgorithmInstance
1212
* overlap with the known algorithm constants.
1313
* Padding consumers (specific padding consumers) are excluded from the set of sinks.
1414
*/
15-
module KnownOpenSSLAlgorithmToAlgorithmValueConsumerConfig implements DataFlow::ConfigSig {
15+
module KnownOpenSslAlgorithmToAlgorithmValueConsumerConfig implements DataFlow::ConfigSig {
1616
predicate isSource(DataFlow::Node source) {
17-
source.asExpr() instanceof KnownOpenSSLAlgorithmExpr and
17+
source.asExpr() instanceof KnownOpenSslAlgorithmExpr and
1818
// No need to flow direct operations to AVCs
19-
not source.asExpr() instanceof OpenSSLDirectAlgorithmOperationCall
19+
not source.asExpr() instanceof OpenSslDirectAlgorithmOperationCall
2020
}
2121

2222
predicate isSink(DataFlow::Node sink) {
23-
exists(OpenSSLAlgorithmValueConsumer c |
23+
exists(OpenSslAlgorithmValueConsumer c |
2424
c.getInputNode() = sink and
2525
// exclude padding algorithm consumers, since
2626
// these consumers take in different constant values
@@ -45,11 +45,11 @@ module KnownOpenSSLAlgorithmToAlgorithmValueConsumerConfig implements DataFlow::
4545
}
4646
}
4747

48-
module KnownOpenSSLAlgorithmToAlgorithmValueConsumerFlow =
49-
DataFlow::Global<KnownOpenSSLAlgorithmToAlgorithmValueConsumerConfig>;
48+
module KnownOpenSslAlgorithmToAlgorithmValueConsumerFlow =
49+
DataFlow::Global<KnownOpenSslAlgorithmToAlgorithmValueConsumerConfig>;
5050

5151
module RSAPaddingAlgorithmToPaddingAlgorithmValueConsumerConfig implements DataFlow::ConfigSig {
52-
predicate isSource(DataFlow::Node source) { source.asExpr() instanceof OpenSSLPaddingLiteral }
52+
predicate isSource(DataFlow::Node source) { source.asExpr() instanceof OpenSslPaddingLiteral }
5353

5454
predicate isSink(DataFlow::Node sink) {
5555
exists(PaddingAlgorithmValueConsumer c | c.getInputNode() = sink)
@@ -63,8 +63,8 @@ module RSAPaddingAlgorithmToPaddingAlgorithmValueConsumerConfig implements DataF
6363
module RSAPaddingAlgorithmToPaddingAlgorithmValueConsumerFlow =
6464
DataFlow::Global<RSAPaddingAlgorithmToPaddingAlgorithmValueConsumerConfig>;
6565

66-
class OpenSSLAlgorithmAdditionalFlowStep extends AdditionalFlowInputStep {
67-
OpenSSLAlgorithmAdditionalFlowStep() { exists(AlgorithmPassthroughCall c | c.getInNode() = this) }
66+
class OpenSslAlgorithmAdditionalFlowStep extends AdditionalFlowInputStep {
67+
OpenSslAlgorithmAdditionalFlowStep() { exists(AlgorithmPassthroughCall c | c.getInNode() = this) }
6868

6969
override DataFlow::Node getOutput() {
7070
exists(AlgorithmPassthroughCall c | c.getInNode() = this and c.getOutNode() = result)

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

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -7,14 +7,14 @@ private import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgor
77
private import AlgToAVCFlow
88

99
/**
10-
* Given a `KnownOpenSSLBlockModeAlgorithmExpr`, converts this to a block family type.
10+
* Given a `KnownOpenSslBlockModeAlgorithmExpr`, converts this to a block family type.
1111
* Does not bind if there is no mapping (no mapping to 'unknown' or 'other').
1212
*/
13-
predicate knownOpenSSLConstantToBlockModeFamilyType(
14-
KnownOpenSSLBlockModeAlgorithmExpr e, Crypto::TBlockCipherModeOfOperationType type
13+
predicate knownOpenSslConstantToBlockModeFamilyType(
14+
KnownOpenSslBlockModeAlgorithmExpr e, Crypto::TBlockCipherModeOfOperationType type
1515
) {
1616
exists(string name |
17-
name = e.(KnownOpenSSLAlgorithmExpr).getNormalizedName() and
17+
name = e.(KnownOpenSslAlgorithmExpr).getNormalizedName() and
1818
(
1919
name.matches("CBC") and type instanceof Crypto::CBC
2020
or
@@ -39,35 +39,35 @@ predicate knownOpenSSLConstantToBlockModeFamilyType(
3939
)
4040
}
4141

42-
class KnownOpenSSLBlockModeConstantAlgorithmInstance extends OpenSSLAlgorithmInstance,
43-
Crypto::ModeOfOperationAlgorithmInstance instanceof KnownOpenSSLBlockModeAlgorithmExpr
42+
class KnownOpenSslBlockModeConstantAlgorithmInstance extends OpenSslAlgorithmInstance,
43+
Crypto::ModeOfOperationAlgorithmInstance instanceof KnownOpenSslBlockModeAlgorithmExpr
4444
{
45-
OpenSSLAlgorithmValueConsumer getterCall;
45+
OpenSslAlgorithmValueConsumer getterCall;
4646

47-
KnownOpenSSLBlockModeConstantAlgorithmInstance() {
47+
KnownOpenSslBlockModeConstantAlgorithmInstance() {
4848
// Two possibilities:
4949
// 1) The source is a literal and flows to a getter, then we know we have an instance
50-
// 2) The source is a KnownOpenSSLAlgorithm is call, and we know we have an instance immediately from that
50+
// 2) The source is a KnownOpenSslAlgorithm is call, and we know we have an instance immediately from that
5151
// Possibility 1:
52-
this instanceof OpenSSLAlgorithmLiteral and
52+
this instanceof OpenSslAlgorithmLiteral and
5353
exists(DataFlow::Node src, DataFlow::Node sink |
5454
// Sink is an argument to a CipherGetterCall
55-
sink = getterCall.(OpenSSLAlgorithmValueConsumer).getInputNode() and
55+
sink = getterCall.(OpenSslAlgorithmValueConsumer).getInputNode() and
5656
// Source is `this`
5757
src.asExpr() = this and
5858
// This traces to a getter
59-
KnownOpenSSLAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
59+
KnownOpenSslAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
6060
)
6161
or
6262
// Possibility 2:
63-
this instanceof OpenSSLAlgorithmCall and
63+
this instanceof OpenSslAlgorithmCall and
6464
getterCall = this
6565
}
6666

6767
override Crypto::TBlockCipherModeOfOperationType getModeType() {
68-
knownOpenSSLConstantToBlockModeFamilyType(this, result)
68+
knownOpenSslConstantToBlockModeFamilyType(this, result)
6969
or
70-
not knownOpenSSLConstantToBlockModeFamilyType(this, _) and result = Crypto::OtherMode()
70+
not knownOpenSslConstantToBlockModeFamilyType(this, _) and result = Crypto::OtherMode()
7171
}
7272

7373
// NOTE: I'm not going to attempt to parse out the mode specific part, so returning
@@ -78,5 +78,5 @@ class KnownOpenSSLBlockModeConstantAlgorithmInstance extends OpenSSLAlgorithmIns
7878
result = this.(Call).getTarget().getName()
7979
}
8080

81-
override OpenSSLAlgorithmValueConsumer getAVC() { result = getterCall }
81+
override OpenSslAlgorithmValueConsumer getAvc() { result = getterCall }
8282
}

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

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -10,14 +10,14 @@ private import AlgToAVCFlow
1010
private import BlockAlgorithmInstance
1111

1212
/**
13-
* Given a `KnownOpenSSLCipherAlgorithmExpr`, converts this to a cipher family type.
13+
* Given a `KnownOpenSslCipherAlgorithmExpr`, converts this to a cipher family type.
1414
* Does not bind if there is no mapping (no mapping to 'unknown' or 'other').
1515
*/
16-
predicate knownOpenSSLConstantToCipherFamilyType(
17-
KnownOpenSSLCipherAlgorithmExpr e, Crypto::KeyOpAlg::TAlgorithm type
16+
predicate knownOpenSslConstantToCipherFamilyType(
17+
KnownOpenSslCipherAlgorithmExpr e, Crypto::KeyOpAlg::TAlgorithm type
1818
) {
1919
exists(string name |
20-
name = e.(KnownOpenSSLAlgorithmExpr).getNormalizedName() and
20+
name = e.(KnownOpenSslAlgorithmExpr).getNormalizedName() and
2121
(
2222
name.matches("AES%") and type = KeyOpAlg::TSymmetricCipher(KeyOpAlg::AES())
2323
or
@@ -64,28 +64,28 @@ predicate knownOpenSSLConstantToCipherFamilyType(
6464
)
6565
}
6666

67-
class KnownOpenSSLCipherConstantAlgorithmInstance extends OpenSSLAlgorithmInstance,
68-
Crypto::KeyOperationAlgorithmInstance instanceof KnownOpenSSLCipherAlgorithmExpr
67+
class KnownOpenSslCipherConstantAlgorithmInstance extends OpenSslAlgorithmInstance,
68+
Crypto::KeyOperationAlgorithmInstance instanceof KnownOpenSslCipherAlgorithmExpr
6969
{
70-
OpenSSLAlgorithmValueConsumer getterCall;
70+
OpenSslAlgorithmValueConsumer getterCall;
7171

72-
KnownOpenSSLCipherConstantAlgorithmInstance() {
72+
KnownOpenSslCipherConstantAlgorithmInstance() {
7373
// Two possibilities:
7474
// 1) The source is a literal and flows to a getter, then we know we have an instance
75-
// 2) The source is a KnownOpenSSLAlgorithm is call, and we know we have an instance immediately from that
75+
// 2) The source is a KnownOpenSslAlgorithm is call, and we know we have an instance immediately from that
7676
// Possibility 1:
77-
this instanceof OpenSSLAlgorithmLiteral and
77+
this instanceof OpenSslAlgorithmLiteral and
7878
exists(DataFlow::Node src, DataFlow::Node sink |
7979
// Sink is an argument to a CipherGetterCall
80-
sink = getterCall.(OpenSSLAlgorithmValueConsumer).getInputNode() and
80+
sink = getterCall.(OpenSslAlgorithmValueConsumer).getInputNode() and
8181
// Source is `this`
8282
src.asExpr() = this and
8383
// This traces to a getter
84-
KnownOpenSSLAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
84+
KnownOpenSslAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
8585
)
8686
or
8787
// Possibility 2:
88-
this instanceof OpenSSLAlgorithmCall and
88+
this instanceof OpenSslAlgorithmCall and
8989
getterCall = this
9090
}
9191

@@ -110,17 +110,17 @@ class KnownOpenSSLCipherConstantAlgorithmInstance extends OpenSSLAlgorithmInstan
110110
}
111111

112112
override int getKeySizeFixed() {
113-
this.(KnownOpenSSLCipherAlgorithmExpr).getExplicitKeySize() = result
113+
this.(KnownOpenSslCipherAlgorithmExpr).getExplicitKeySize() = result
114114
}
115115

116116
override Crypto::KeyOpAlg::Algorithm getAlgorithmType() {
117-
knownOpenSSLConstantToCipherFamilyType(this, result)
117+
knownOpenSslConstantToCipherFamilyType(this, result)
118118
or
119-
not knownOpenSSLConstantToCipherFamilyType(this, _) and
119+
not knownOpenSslConstantToCipherFamilyType(this, _) and
120120
result = Crypto::KeyOpAlg::TUnknownKeyOperationAlgorithmType()
121121
}
122122

123-
override OpenSSLAlgorithmValueConsumer getAVC() { result = getterCall }
123+
override OpenSslAlgorithmValueConsumer getAvc() { result = getterCall }
124124

125125
override Crypto::ConsumerInputDataFlowNode getKeySizeConsumer() {
126126
// TODO: trace to any key size initializer, symmetric and asymmetric

‎cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/EllipticCurveAlgorithmInstance.qll‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -6,32 +6,32 @@ private import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgor
66
private import experimental.quantum.OpenSSL.AlgorithmValueConsumers.DirectAlgorithmValueConsumer
77
private import AlgToAVCFlow
88

9-
class KnownOpenSSLEllipticCurveConstantAlgorithmInstance extends OpenSSLAlgorithmInstance,
10-
Crypto::EllipticCurveInstance instanceof KnownOpenSSLEllipticCurveAlgorithmExpr
9+
class KnownOpenSslEllipticCurveConstantAlgorithmInstance extends OpenSslAlgorithmInstance,
10+
Crypto::EllipticCurveInstance instanceof KnownOpenSslEllipticCurveAlgorithmExpr
1111
{
12-
OpenSSLAlgorithmValueConsumer getterCall;
12+
OpenSslAlgorithmValueConsumer getterCall;
1313

14-
KnownOpenSSLEllipticCurveConstantAlgorithmInstance() {
14+
KnownOpenSslEllipticCurveConstantAlgorithmInstance() {
1515
// Two possibilities:
1616
// 1) The source is a literal and flows to a getter, then we know we have an instance
17-
// 2) The source is a KnownOpenSSLAlgorithm is call, and we know we have an instance immediately from that
17+
// 2) The source is a KnownOpenSslAlgorithm is call, and we know we have an instance immediately from that
1818
// Possibility 1:
19-
this instanceof OpenSSLAlgorithmLiteral and
19+
this instanceof OpenSslAlgorithmLiteral and
2020
exists(DataFlow::Node src, DataFlow::Node sink |
2121
// Sink is an argument to a CipherGetterCall
2222
sink = getterCall.getInputNode() and
2323
// Source is `this`
2424
src.asExpr() = this and
2525
// This traces to a getter
26-
KnownOpenSSLAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
26+
KnownOpenSslAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
2727
)
2828
or
2929
// Possibility 2:
30-
this instanceof OpenSSLAlgorithmCall and
30+
this instanceof OpenSslAlgorithmCall and
3131
getterCall = this
3232
}
3333

34-
override OpenSSLAlgorithmValueConsumer getAVC() { result = getterCall }
34+
override OpenSslAlgorithmValueConsumer getAvc() { result = getterCall }
3535

3636
override string getRawEllipticCurveName() {
3737
result = this.(Literal).getValue().toString()
@@ -44,11 +44,11 @@ class KnownOpenSSLEllipticCurveConstantAlgorithmInstance extends OpenSSLAlgorith
4444
}
4545

4646
override string getParsedEllipticCurveName() {
47-
result = this.(KnownOpenSSLAlgorithmExpr).getNormalizedName()
47+
result = this.(KnownOpenSslAlgorithmExpr).getNormalizedName()
4848
}
4949

5050
override int getKeySize() {
51-
Crypto::ellipticCurveNameToKeySizeAndFamilyMapping(this.(KnownOpenSSLAlgorithmExpr)
51+
Crypto::ellipticCurveNameToKeySizeAndFamilyMapping(this.(KnownOpenSslAlgorithmExpr)
5252
.getNormalizedName(), result, _)
5353
}
5454
}

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

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,11 @@ private import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgor
55
private import experimental.quantum.OpenSSL.AlgorithmInstances.OpenSSLAlgorithmInstanceBase
66
private import AlgToAVCFlow
77

8-
predicate knownOpenSSLConstantToHashFamilyType(
9-
KnownOpenSSLHashAlgorithmExpr e, Crypto::THashType type
8+
predicate knownOpenSslConstantToHashFamilyType(
9+
KnownOpenSslHashAlgorithmExpr e, Crypto::THashType type
1010
) {
1111
exists(string name |
12-
name = e.(KnownOpenSSLAlgorithmExpr).getNormalizedName() and
12+
name = e.(KnownOpenSslAlgorithmExpr).getNormalizedName() and
1313
(
1414
name.matches("BLAKE2B") and type instanceof Crypto::BLAKE2B
1515
or
@@ -44,37 +44,37 @@ predicate knownOpenSSLConstantToHashFamilyType(
4444
)
4545
}
4646

47-
class KnownOpenSSLHashConstantAlgorithmInstance extends OpenSSLAlgorithmInstance,
48-
Crypto::HashAlgorithmInstance instanceof KnownOpenSSLHashAlgorithmExpr
47+
class KnownOpenSslHashConstantAlgorithmInstance extends OpenSslAlgorithmInstance,
48+
Crypto::HashAlgorithmInstance instanceof KnownOpenSslHashAlgorithmExpr
4949
{
50-
OpenSSLAlgorithmValueConsumer getterCall;
50+
OpenSslAlgorithmValueConsumer getterCall;
5151

52-
KnownOpenSSLHashConstantAlgorithmInstance() {
52+
KnownOpenSslHashConstantAlgorithmInstance() {
5353
// Two possibilities:
5454
// 1) The source is a literal and flows to a getter, then we know we have an instance
55-
// 2) The source is a KnownOpenSSLAlgorithm is call, and we know we have an instance immediately from that
55+
// 2) The source is a KnownOpenSslAlgorithm is call, and we know we have an instance immediately from that
5656
// Possibility 1:
57-
this instanceof OpenSSLAlgorithmLiteral and
57+
this instanceof OpenSslAlgorithmLiteral and
5858
exists(DataFlow::Node src, DataFlow::Node sink |
5959
// Sink is an argument to a CipherGetterCall
60-
sink = getterCall.(OpenSSLAlgorithmValueConsumer).getInputNode() and
60+
sink = getterCall.(OpenSslAlgorithmValueConsumer).getInputNode() and
6161
// Source is `this`
6262
src.asExpr() = this and
6363
// This traces to a getter
64-
KnownOpenSSLAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
64+
KnownOpenSslAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
6565
)
6666
or
6767
// Possibility 2:
68-
this instanceof OpenSSLAlgorithmCall and
68+
this instanceof OpenSslAlgorithmCall and
6969
getterCall = this
7070
}
7171

72-
override OpenSSLAlgorithmValueConsumer getAVC() { result = getterCall }
72+
override OpenSslAlgorithmValueConsumer getAvc() { result = getterCall }
7373

7474
override Crypto::THashType getHashFamily() {
75-
knownOpenSSLConstantToHashFamilyType(this, result)
75+
knownOpenSslConstantToHashFamilyType(this, result)
7676
or
77-
not knownOpenSSLConstantToHashFamilyType(this, _) and result = Crypto::OtherHashType()
77+
not knownOpenSslConstantToHashFamilyType(this, _) and result = Crypto::OtherHashType()
7878
}
7979

8080
override string getRawHashAlgorithmName() {
@@ -84,6 +84,6 @@ class KnownOpenSSLHashConstantAlgorithmInstance extends OpenSSLAlgorithmInstance
8484
}
8585

8686
override int getFixedDigestLength() {
87-
this.(KnownOpenSSLHashAlgorithmExpr).getExplicitDigestLength() = result
87+
this.(KnownOpenSslHashAlgorithmExpr).getExplicitDigestLength() = result
8888
}
8989
}

‎cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KeyAgreementAlgorithmInstance.qll‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,11 @@ private import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgor
55
private import experimental.quantum.OpenSSL.AlgorithmInstances.OpenSSLAlgorithmInstanceBase
66
private import AlgToAVCFlow
77

8-
predicate knownOpenSSLConstantToKeyAgreementFamilyType(
9-
KnownOpenSSLKeyAgreementAlgorithmExpr e, Crypto::TKeyAgreementType type
8+
predicate knownOpenSslConstantToKeyAgreementFamilyType(
9+
KnownOpenSslKeyAgreementAlgorithmExpr e, Crypto::TKeyAgreementType type
1010
) {
1111
exists(string name |
12-
name = e.(KnownOpenSSLAlgorithmExpr).getNormalizedName() and
12+
name = e.(KnownOpenSslAlgorithmExpr).getNormalizedName() and
1313
(
1414
name = "ECDH" and type = Crypto::ECDH()
1515
or
@@ -22,37 +22,37 @@ predicate knownOpenSSLConstantToKeyAgreementFamilyType(
2222
)
2323
}
2424

25-
class KnownOpenSSLKeyAgreementConstantAlgorithmInstance extends OpenSSLAlgorithmInstance,
26-
Crypto::KeyAgreementAlgorithmInstance instanceof KnownOpenSSLKeyAgreementAlgorithmExpr
25+
class KnownOpenSslKeyAgreementConstantAlgorithmInstance extends OpenSslAlgorithmInstance,
26+
Crypto::KeyAgreementAlgorithmInstance instanceof KnownOpenSslKeyAgreementAlgorithmExpr
2727
{
28-
OpenSSLAlgorithmValueConsumer getterCall;
28+
OpenSslAlgorithmValueConsumer getterCall;
2929

30-
KnownOpenSSLKeyAgreementConstantAlgorithmInstance() {
30+
KnownOpenSslKeyAgreementConstantAlgorithmInstance() {
3131
// Two possibilities:
3232
// 1) The source is a literal and flows to a getter, then we know we have an instance
33-
// 2) The source is a KnownOpenSSLAlgorithm is call, and we know we have an instance immediately from that
33+
// 2) The source is a KnownOpenSslAlgorithm is call, and we know we have an instance immediately from that
3434
// Possibility 1:
35-
this instanceof OpenSSLAlgorithmLiteral and
35+
this instanceof OpenSslAlgorithmLiteral and
3636
exists(DataFlow::Node src, DataFlow::Node sink |
3737
// Sink is an argument to a CipherGetterCall
3838
sink = getterCall.getInputNode() and
3939
// Source is `this`
4040
src.asExpr() = this and
4141
// This traces to a getter
42-
KnownOpenSSLAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
42+
KnownOpenSslAlgorithmToAlgorithmValueConsumerFlow::flow(src, sink)
4343
)
4444
or
4545
// Possibility 2:
46-
this instanceof OpenSSLAlgorithmCall and
46+
this instanceof OpenSslAlgorithmCall and
4747
getterCall = this
4848
}
4949

50-
override OpenSSLAlgorithmValueConsumer getAVC() { result = getterCall }
50+
override OpenSslAlgorithmValueConsumer getAvc() { result = getterCall }
5151

5252
override Crypto::TKeyAgreementType getKeyAgreementType() {
53-
knownOpenSSLConstantToKeyAgreementFamilyType(this, result)
53+
knownOpenSslConstantToKeyAgreementFamilyType(this, result)
5454
or
55-
not knownOpenSSLConstantToKeyAgreementFamilyType(this, _) and
55+
not knownOpenSslConstantToKeyAgreementFamilyType(this, _) and
5656
result = Crypto::OtherKeyAgreementType()
5757
}
5858

0 commit comments

Comments
 (0)