Spectra Assure
Community
Docs

Behaviors

List of software behaviors discovered with static code analysis.

Generates cryptographically strong random values. (x4)
anomaly
Uses math functions. (x4)
behavior
Contains multi-line comments. (x5)
behavior