[clang] [analyzer] Moving TaintPropagation checker out of alpha (PR #67352)

[via cfe-commits]

DonatNagyE wrote:

> No-no, I mean whatever I said in the next sentence, like literally the same buffer, not the same allocation site, not the same variable, but literally the same allocation, except it has multiple size-aware operations performed on it,  [...]

Thanks for the clarification! I agree with your examples and that behavior can be achieved via the solutions that I suggested (the separate patches for the `malloc` and `memcpy` function families) .

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