[clang] [analyzer] First batch of patches for the Juliet benchmark for taint improvements (PR #66074)

[Balazs Benics via cfe-commits]

steakhal wrote:

> I'll re-run the measurement to ensure everything is all right.

Yup, no report changes. Confirmed.

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