List of software behaviors discovered with static code analysis.