Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Imports the "threading" module, which contains high-level threading and thread synchronization interfaces. (x1)
execution
Imports the "time" module, which provides various time-related functions. (x2)
execution
Uses synchronization mechanisms. (x1)
execution
Uses math functions. (x1)
behavior
Generates pseudo-random numbers. (x1)
behavior