BehaviorsList of software behaviors discovered with static code analysis.All categoriesReleases a mutual exclusion (mutex) lock. (x2)executionCreates a mutual exclusion (mutex) lock. (x2)execution