A source-to-source transformation tool for compiler analysis