6. The processor performed operations of claim 1 , wherein the operations further comprise initially generating an abstract syntax tree representation of the source code, and wherein the operations of generating the transition system and generating the XML representation of the source code are based on the abstract syntax tree representation of the source code.
6. The processor performed operations of claim 1 , wherein the operations further comprise initially generating an abstract syntax tree representation of the source code, and wherein the operations of generating the transition system and generating the XML representation of the source code are based on the abstract syntax tree representation of the source code. 7. The processor performed operations of claim 6 , wherein the query identifies tree patterns in the abstract syntax tree representation of the source code.