Module BoostorgAsio

Import path

import semmle.code.cpp.security.boostorg.asio.protocols

getShiftedSslOptionsNoSsl2	Gets the value for the no_sslv2 constant, right shifted by 16 bits.
getShiftedSslOptionsNoSsl3	Gets the value for the no_sslv3 constant, right shifted by 16 bits.
getShiftedSslOptionsNoTls1	Gets the value for the no_tlsv1 constant, right shifted by 16 bits.
getShiftedSslOptionsNoTls1_1	Gets the value for the no_tlsv1_1 constant, right shifted by 16 bits.
getShiftedSslOptionsNoTls1_2	Gets the value for the no_tlsv1_2 constant, right shifted by 16 bits.
getShiftedSslOptionsNoTls1_3	Gets the value for the no_tlsv1_3 constant, right shifted by 16 bits.
isExprBannedBoostProtocol	Holds if the expression represents a banned protocol.
isExprSslV23BoostProtocol	Holds if the expression represents a generic SSl/TLS protocol.
isExprTls12BoostProtocol	Holds if the expression represents a TLS v1.2 protocol.
isExprTls13BoostProtocol	Holds if the expression represents a protocol that requires Crypto Board approval.
isExprTlsBoostProtocol	Holds if the expression represents a generic TLS or SSL/TLS protocol.

SslContextClass	Represents the `boost::asio::ssl::context` class.
SslContextMethod	Represents the `boost::asio::ssl::context` enum.
SslSetOptionsFunction	Represents `boost::asio::ssl::context::set_options` member function.

Constructs a standard data flow computation for protocol values to the first argument of a context constructor.

Signature for flows of protocol values to the first argument of a context constructor.

SslContextCallBannedProtocolFlow	Constructs a standard data flow computation for protocol values to the first argument of a context constructor.
SslContextCallFlow	Constructs a standard data flow computation for protocol values to the first argument of a context constructor.
SslContextCallTls12ProtocolFlow	Constructs a standard data flow computation for protocol values to the first argument of a context constructor.
SslContextCallTls13ProtocolFlow	Constructs a standard data flow computation for protocol values to the first argument of a context constructor.
SslContextCallTlsProtocolFlow	Constructs a standard data flow computation for protocol values to the first argument of a context constructor.
SslContextFlowsToSetOptionFlow	Constructs a global data flow computation.
SslOptionFlow	Constructs a global data flow computation.