16. The system of claim 12 , further comprising a code analyzer lacking capability for direct analysis of any indirectly modeled code and that is programmed to perform taint propagation analysis of a code module specified in the directly modeled language by incorporating in the code module the generated statement.
16. The system of claim 12 , further comprising a code analyzer lacking capability for direct analysis of any indirectly modeled code and that is programmed to perform taint propagation analysis of a code module specified in the directly modeled language by incorporating in the code module the generated statement. 17. The system of claim 16 , wherein the instructions program the processing unit to perform taint propagation analysis of a code module specified in the directly modeled language by incorporating in the code module the generated statement.