Good point! You're absolutely right when you say that static analysis is more difficult to do for dynamically typed languages like Python. This is why we develo

Good point! You're absolutely right when you say that static analysis is more difficult to do for dynamically typed languages like Python. This is why we develop our own type inference algorithms in order to generate additional knowledge about the code beyond its structure, which in turn allows us to detect more interesting and relevant problems.