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 code segment in an indirectly modeled language 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 a user input to a code module specified in a directly modeled language; and for each node in the identified set, generating by the processor a statement in a 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.