This project now contains code from the snim2/python-csp project that needed to be refactored out. This is a static and dynamic analysis for python-csp code.