1. A method for identifying presence of malicious code in program code within a computer system, the method comprising: initializing an analytical virtual P-code engine (AVPE) within the computer system, the AVPE comprising software simulating functionality of a P-code interpreter and library routines exposed to the Low Level engine as API's (application Program Interfaces) for N-code compiled programs, where a virtual central processing unit and virtual memory perform the actual processing; virtually executing a target program within the AVPE so that the target program interacts with a host computer system only through the AVPE; analyzing behavior of the target program following virtual execution to identify occurrence of malicious code behavior and indicating in a behavior pattern the occurrence of malicious code behavior; and terminating the AVPE after the analyzing process, thereby removing from the host computer system a copy of the target program that was contained within the AVPE.