10 ms·

MOPSA does abstract interpretation for both C and Python. It even works across language boundaries. https://mopsa.lip6.fr/#features https://mopsa.lip6.fr/#feat

by 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.