Method and system for performing program transformations for precise analysis of enterprise applications

A program transformation system, comprising:

• a memory storing instructions;
• one or more communication interfaces;
• and
• one or more hardware processors coupled to the memory via the one or more communication interfaces, wherein the one or more hardware processors are configured by the instructions to:
• receive a computer program written in a high-level host programming language, wherein the computer program comprises a plurality of host programming language statements, one or more domain specific language (DSL) statements and one or more service calls;
• transform each DSL statement present in the computer program into one or more host programming language statements using a predefined DSL abstraction template to obtain a primary transformed computer program, wherein each host programming language statement of the one or more host programming language statements in the primary transformed computer program comprises an abstract function call that is configured to retain effect of a portion of a DSL statement from which the corresponding abstract function call is obtained;
• update each service call of the one or more service calls present in the primary transformed computer program with a function call statement using a predefined service registry to obtain a secondary transformed computer program;
• compute one or more analysis on the secondary transformed computer program using a host programming language based code analyzer to obtain intermediatory analysis information;
• and
• perform dependency analysis of the computer program based on the intermediatory analysis information using the host programming language based code analyzer, wherein the dependency analysis comprises information about one or more variables that are present in the computer program.

One or more non-transitory machine-readable information storage mediums comprising one or more instructions which when executed by one or more hardware processors cause:

• receiving, by a program transformation system via one or more hardware processors, a computer program written in a high-level host programming language, wherein the computer program comprises a plurality of host programming language statements, one or more domain specific language (DSL) statements and one or more service calls;
• transforming, by the program transformation system, each DSL statement present in the computer program into one or more host programming language statements using a predefined DSL abstraction template to obtain a primary transformed computer program, wherein each host programming language statement of the one or more host programming language statements in the primary transformed computer program comprises an abstract function call that is configured to retain effect of a portion of a DSL statement from which the corresponding abstract function call is obtained;
• updating, by the program transformation system, each service call of the one or more service calls present in the primary transformed computer program with a function call statement using a predefined service registry to obtain a secondary transformed computer program;
• computing, by the program transformation system, one or more analysis on the secondary transformed computer program using a host programming language based code analyzer to obtain intermediatory analysis information;
• and
• performing, by the program transformation system, dependency analysis of the computer program based on the intermediatory analysis information using the host programming language based code analyzer, wherein the dependency analysis comprises information about one or more variables that are present in the computer program.