Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

The software package does not declare any source code repository. (x1)
anomaly
Terminates a process. (x2)
execution
Reads from files. (x4)
file
Queries the size of a file. (x4)
file
Checks if a file or a directory exists. (x8)
file
Pauses execution until a thread is terminated. (x2)
execution
Splits a string using a regular expression. (x6)
behavior
Concatenates strings. (x11)
behavior
Creates/Opens a file. (x3)
file
Uses string-related functions. (x45)
behavior