Program-analysis is a project mainly written in HASKELL and PYTHON, it's free.

Program analysis and optimization tool for a simple language