Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Reads from files. (x1)
file
Imports the "os" module, which contains miscellaneous operating system interfaces. (x1)
execution
Creates/Opens a file. (x1)
file