framework for analysis and transformation of C
