1. A method comprising: dividing an executable software program in memory into an executable image, a data image, and an execution history image; and classifying a first statement in said execution history image into one of a mutable statement and an immutable statement.