C++: Fix taint-flow in preparation for frontend upgrade#13911

Merged

MathiasVP merged 2 commits intogithub:mainfrom

MathiasVP:fix-taint-for-frontend-upgrade

Aug 9, 2023

Commits on Aug 9, 2023

C++: Generate SSA variables for all calls instead of just for calls to
MathiasVP
committed
C++: Also key SSA defs and uses by the base address.
MathiasVP
committed