1. A method of enabling static analysis of indirectly modeled code by an analyzer lacking capability for direct analysis of any indirectly modeled code, the method comprising: transforming by a processor a syntax tree of a source code segment written in an indirectly modeled language that is not supported by a static analyzer, by including in each node of the syntax tree a respective location identifier identifying a location of at least one of an operator and an operand corresponding to that node in source code specified in the indirectly modeled language; identifying by the processor a set of nodes of selected types in the transformed syntax tree, each selected type being associated with taint propagation indicating propagation of an operand comprising or derived from a user input to an operator specified in a code module specified in a directly modeled language, the static analyzer supporting the directly modelled language; and for each node in the identified set, generating by the processor a statement in the directly modeled language, based on, at least in part, at least one of: (i) a type of the node, (ii) a type of an input to the node, and (iii) an object corresponding to the node.
1. A method of enabling static analysis of indirectly modeled code by an analyzer lacking capability for direct analysis of any indirectly modeled code, the method comprising: transforming by a processor a syntax tree of a source code segment written in an indirectly modeled language that is not supported by a static analyzer, by including in each node of the syntax tree a respective location identifier identifying a location of at least one of an operator and an operand corresponding to that node in source code specified in the indirectly modeled language; identifying by the processor a set of nodes of selected types in the transformed syntax tree, each selected type being associated with taint propagation indicating propagation of an operand comprising or derived from a user input to an operator specified in a code module specified in a directly modeled language, the static analyzer supporting the directly modelled language; and for each node in the identified set, generating by the processor a statement in the directly modeled language, based on, at least in part, at least one of: (i) a type of the node, (ii) a type of an input to the node, and (iii) an object corresponding to the node. 7. The method of claim 1 , wherein: the type of the node comprises at least one of a set directive type and a loop directive type; and the generated statement comprises a propagator statement.