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
The software package does not declare any source code repository. (x1)
anomaly
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
This website uses cookies to ensure the best website experience. By continuing to use this website you are giving your consent to cookies being used. Detailed information about our use of cookies is here.