Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Opens a TCP connection to a remote server. (x4)
network
Opens a UDP connection to a remote server. (x2)
network
Creates a socket. (x4)
network
Creates a UDP socket bound to an incoming connection. (x2)
network
Sends data on an open UDP socket. (x2)
network
Receives data from an open UDP socket. (x2)
network
Sends data on a connected TCP socket. (x2)
network
Creates a TLS server. (x2)
network
Receives data from a connected TCP socket. (x2)
network
Creates a new TLS socket from an existing TCP socket. (x2)
network