Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Invokes system calls. (x2)
execution
Terminates the current running process. (x2)
execution
Terminates a process/thread. (x2)
execution
Translates an address from a dynamically loaded shared library to its symbol name. (x2)
execution
Delays execution. (x2)
execution