Comment by almostgotcaught
3 days ago
> 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
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.
yeah, that's a really nice project too!