import cpp
import semmle.code.cpp.dataflow.new.DataFlow

module OpenSSLModel {
  import experimental.quantum.Language
  import experimental.quantum.OpenSSL.AlgorithmInstances.OpenSSLAlgorithmInstances
  import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
  import experimental.quantum.OpenSSL.Operations.OpenSSLOperations
}