Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Deletes a file/directory. (x6)
file
Enumerates files in a given directory. (x2)
search
Queries the current working directory. (x2)
search
Checks if a file or a directory exists. (x4)
file
Changes the current working directory. (x2)
file
Splits a string using a regular expression. (x3)
behavior
Concatenates strings. (x3)
behavior
Uses string-related functions. (x5)
behavior
Reads from files. (x2)
behavior