Skip to content

Commit 6c71893

Browse files
committed
Fixed merge conflict resolution issues
1 parent 3a871ff commit 6c71893

File tree

1 file changed

+0
-27
lines changed
  • shared/quantum/codeql/quantum/experimental

1 file changed

+0
-27
lines changed

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

Lines changed: 0 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -442,17 +442,6 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
442442
final override ConsumerInputDataFlowNode getInputNode() { result = inputNode }
443443
}
444444

445-
final private class SignatureArtifactConsumer extends ArtifactConsumerAndInstance {
446-
ConsumerInputDataFlowNode inputNode;
447-
448-
SignatureArtifactConsumer() {
449-
exists(SignatureOperationInstance op | inputNode = op.getSignatureConsumer()) and
450-
this = Input::dfn_to_element(inputNode)
451-
}
452-
453-
final override ConsumerInputDataFlowNode getInputNode() { result = inputNode }
454-
}
455-
456445
/**
457446
* An artifact that is produced by an operation, representing a concrete artifact instance rather than a synthetic consumer artifact.
458447
*/
@@ -489,8 +478,6 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
489478
override DataFlowNode getOutputNode() { result = creator.getOutputArtifact() }
490479

491480
KeyOperationInstance getCreator() { result = creator }
492-
493-
KeyOperationInstance getCreator() { result = creator }
494481
}
495482

496483
/**
@@ -1597,20 +1584,6 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
15971584
override LocatableElement asElement() { result = instance }
15981585
}
15991586

1600-
/**
1601-
* A signature input. This may represent a signature, or a signature component
1602-
* such as the scalar values r and s in ECDSA.
1603-
*/
1604-
final class SignatureArtifactNode extends ArtifactNode, TSignatureInput {
1605-
SignatureArtifactConsumer instance;
1606-
1607-
SignatureArtifactNode() { this = TSignatureInput(instance) }
1608-
1609-
final override string getInternalType() { result = "SignatureInput" }
1610-
1611-
override LocatableElement asElement() { result = instance }
1612-
}
1613-
16141587
/**
16151588
* A salt input.
16161589
*/

0 commit comments

Comments
 (0)