[clang] [analyzer] Variant checker bindings (PR #87886)

[via cfe-commits]

https://github.com/NagyDonat commented:

Thanks for working on this checker and improving its behavior!

I started a review of this commit, but I didn't get too far yet; I'll continue reviewing on the next days. So far I read the code under `Checkers/`and added some minor stylistic remarks, but I didn't read the `Core/` changes and the test yet and I didn't think about the theoretical soundness of the logic that you introduce.

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