A general-purpose foundational program analysis platform

We are working on this promising project to provide a new generation security analysis technique.