4. The method of claim 1 , wherein processing the program comprises assigning a type and a security type to each entity provided in the program.
4. The method of claim 1 , wherein processing the program comprises assigning a type and a security type to each entity provided in the program. 5. The method of claim 4 , wherein the security types comprise tainted and untainted, and wherein an untainted entity is provided as an immutable object that contains random data that is independent of any other untainted entity.