Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Permits an incoming connection on a TCP socket. (x1)
network
Sends data on a connected TCP socket. (x1)
network
Receives data from a connected TCP socket. (x1)
network
Opens a socket listening for an incoming connection. (x1)
network
Opens a TCP connection to a remote server. (x1)
network
Calculates the SHA-1 hash of data. (x1)
file
Evaluates an expression. (x1)
execution