3 ms·

> 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 typ

> 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 https://github.com/google/pycnite there's also https://github.com/MatthieuDartiailh/bytecode https://github.com/MatthieuDartiailh/bytecode which is a good collection

zem 1y ago
yeah, that's a really nice project too!
jpfr 1y ago
MOPSA does abstract interpretation for both C and Python. It even works across language boundaries. https://mopsa.lip6.fr/#features https://mopsa.lip6.fr/#features It also has more abstraction domains than „just“ the type of objects.