Analysis framework for DSLTrans