We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5694f02 commit c08525aCopy full SHA for c08525a
cpp/ql/lib/experimental/Quantum/Language.qll
@@ -112,12 +112,4 @@ module ArtifactUniversalFlowConfig implements DataFlow::ConfigSig {
112
113
module ArtifactUniversalFlow = DataFlow::Global<ArtifactUniversalFlowConfig>;
114
115
-// abstract class CipherOutputArtifact extends Crypto::KeyOperationOutputArtifactInstance {
116
-// override predicate flowsTo(Crypto::FlowAwareElement other) {
117
-// ArtifactUniversalFlow::flow(this.getOutputNode(), other.getInputNode())
118
-// }
119
120
-// // final override predicate flowsTo(FlowAwareElement other) {
121
-// // Input::artifactOutputFlowsToGenericInput(this.getOutputNode(), other.getInputNode())
122
-// // }
123
import OpenSSL.OpenSSL
0 commit comments