[almostgotcaught]

> while I agree that bytecode-based analysis has its drawbacks

abstract interpretation of the bytecode like y'all were doing is the only way to robustly do type inference in python.

> https://github.com/google/pycnite

there's also https://github.com/MatthieuDartiailh/bytecode which is a good collection

[jpfr]

MOPSA does abstract interpretation for both C and Python. It even works across language boundaries.

https://mopsa.lip6.fr/#features

It also has more abstraction domains than „just“ the type of objects.

[zem]

yeah, that's a really nice project too!