| ▲ | almostgotcaught 5 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 | ||
| ▲ | jpfr 5 days ago | parent | next [-] | |
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 5 days ago | parent | prev [-] | |
yeah, that's a really nice project too! | ||