MOPSA

MOPSA is a generic framework for building sound static analyzers based on the theory of abstract interpretation.