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

		jpfr 4 months ago \| parent \| context \| favorite \| on: An Update on Pytype 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.