[clang] Introduce MutexModeling checker (PR #111381)

[Endre Fülöp via cfe-commits]

gamesh411 wrote:

This commit is NFC, and the intention is to allow the integration of this checker into BlockInCriticalSectionChecker and PthreadLockChecker to also be NFC (or very close to that).

This patch introduces a new data model for the threading-related information in the static analyzer and a checker that updates this information for APIs currently modelled in those two threading-related checkers.
The raw trace of the mutex events and some derived information (the state of the mutexes and the currently active crit sections). This is redundant, but IMO, the raw trace of events is also beneficial for extensibility.

https://github.com/llvm/llvm-project/pull/111381