Taint analysis improvement and bug fixing

[btsouts]

Improve the current state of taint analysis by also fixing the bugs of the current version.

Describe the solution you'd like A clear and concise description of what you would like to happen instead of what currently happens (TBD).

Describe alternatives you've considered A clear and concise description of any alternative solutions or features you've considered (TBD).