[clang] [clang][analyzer][WIP] Introduce modeling for threading related checkers (PR #109636)

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

gamesh411 wrote:

This patch's primary driving force is reducing code duplication in BlockInCriticalSectionChecker and PthreadLockChecker.
This is mainly NFC. The user-facing API is the same, but at least one false positive has been fixed, and the internal state representation has changed.


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