Mypy, Pytype, Pyright, and Pyre can help you keep your type-hinted Python code bug-free ... though you can specify components that sanitize data and remove that data from the taint graph.