Merge pull request github#156 from github/automation/version-bump-2.12.0

Release Engineering: Version bump to 2.12.0.

Merge pull request github#136 from github/mbaluda/ValuesReturnedByLoc…

…aleSettingUsedAsPtrToConst

Fix @kind format for RULE-21-19

Merge pull request github#107 from github/lcartey/update-user-manual

Update the user manual to reflect 2.10.0 release

Merge pull request github#93 from knewbury01/knewbury01/fix-RULE-5-1

Declarations 1and2: patch shared query alert format

Merge pull request github#75 from github/automation/version-bump-2.8.0

Release Engineering: Version bump to 2.8.0.

Merge pull request github#42 from jsinglet/jsinglet/2.7-bump

2.7 Version Bump

Merge pull request github#27 from jsinglet/jsinglet/deadlock-shared-p…

…erformance-fix-26

Removed Unneeded Predicate Clause

Release v2.5.0

Release v2.4.0

Release v2.3.0