Pysa will try to analyze all functions regardless of whether they have type hints, but it work better if the function under consideration is typed. Namely, with

Pysa will try to analyze all functions regardless of whether they have type hints, but it work better if the function under consideration is typed. Namely, without type hints, it won't be able to pick up on tainted method calls or attribute accesses. However, regular function calls, etc. and standard data structures like dicts and lists should still be tracked normally.