[clang] [analyzer] TaintPropagation checker strlen() should not propagate (PR #66086)

[Balazs Benics via cfe-commits]

steakhal wrote:

Request another round of review once you are happy with the content and addressed the open comments.
On the grand scheme we are aligned.

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