Hi, might taint analysis is what you are looking for.
Unfortunately I haven’t tried any dynamic taint analysis framework yet so I can not help you with that.
TBH I’m more interested in static taint analysis. Especially improving the Clang Static Analyzer on that regard.
Here is talk about dynamic taint analysis:
But there must be several other resources.
PS: if you find something interesting, let me know.