| ▲ | jpfr 5 days ago | |
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. | ||
| ▲ | jpfr 5 days ago | |
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. | ||