1. A method executed by a processor for performing static analysis on source code having a low level language source code embedded in a high level language source code, wherein the high level language source code is represented in a high level representation that the static analysis can be performed on, the method comprising the steps of: transforming the embedded low level language source code to a high level representation that does not retain the full semantics of the low level language source code and that the static analysis can be performed on, by identifying a set of instructions in the low level language source code that represents a single high level statement in the high level representation, and transforming the set of instructions to represent the single high level statement in the high level representation; and performing static analysis on the high level representation of the high level language source code and the high level representation of the low level source code.
1. A method executed by a processor for performing static analysis on source code having a low level language source code embedded in a high level language source code, wherein the high level language source code is represented in a high level representation that the static analysis can be performed on, the method comprising the steps of: transforming the embedded low level language source code to a high level representation that does not retain the full semantics of the low level language source code and that the static analysis can be performed on, by identifying a set of instructions in the low level language source code that represents a single high level statement in the high level representation, and transforming the set of instructions to represent the single high level statement in the high level representation; and performing static analysis on the high level representation of the high level language source code and the high level representation of the low level source code. 4. The method according to claim 1 , wherein the step of transforming the embedded low level language source code to the high level representation comprises the steps of: identifying one or more instructions in the low level language source code that have no equivalent in the high level representation; and transforming the one or more instructions to the high level representation in a way that represents only effects these instructions have on the source code.