Currently, during runtime, programs are mostly uncontrollable objects. They are very vulnerable to either transient or permanent, external, or internal contaminations of the program state. Here one finds a new method that ...