The complete framework for our modeling system of the MCAPI API is located on Github. We also have a separate framework for translating MCAPI executions traces into SMT problems. We are collaborating on this project with the University of Utah. UofU MCAPI wiki