MOPSA

A static analyzer designed to easily reuse abstract domains across widely different languages (such as C and Python).