Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Deletes a file/directory. (x4)
file
Creates a symbolic link to a file or directory. (x2)
file
Evaluates an expression. (x4)
execution
Renames files. (x2)
file
Reads from files. (x2)
file
Checks if a file or a directory exists. (x7)
file
Pauses execution until a thread is terminated. (x2)
execution
Splits a string using a regular expression. (x2)
behavior
Creates/Opens a file. (x2)
file
Uses string-related functions. (x6)
behavior