Comment by jpfr
3 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.
3 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.
No comments yet
Contribute on Hacker News ↗