Python: Add taint-tracking configuration.#1052

Merged

taus-semmle merged 3 commits intogithub:rc/1.20from

markshannon:python-taint-tracking-configuration

Mar 15, 2019

Commits on Mar 6, 2019

Python: Add basic taint-tracking configuration. Should help avoid cross-talk between flows and brings the interface closer to that of the other languages.
markshannon
committed

Commits on Mar 12, 2019

Python: Make behaviour of taint-tracking sanitizers and extensions less surprising for the unlikely case of mutliple configurations.
markshannon
committed

Commits on Mar 14, 2019

Python: Move taint-tracking library to new location and extend configuration to match API of other languages.
markshannon
committed