[clang] [clang][analyzer] Split NullDereferenceChecker into a modeling and checker part (PR #122139)

[Balázs Kéri via cfe-commits]

balazske wrote:

I wanted to avoid change the current behavior of `core.NullDereference`. But it is better to move the option of address space suppression into the modeling part, I guess this option should be used for all types of invalid dereferences.

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