1. A method for producing a representation of a true runtime object graph from a static computer program module, comprising: creating an abstract graph from the static computer program module and from containment information corresponding to the static computer program module, wherein the abstract graph has nodes including types, domains and objects wherein the abstract graph relates an object to a type, wherein the abstract graph relates a domain to a type containing the domain, wherein the abstract graph relates an object to a domain containing the object, and wherein creating an abstract graph includes creating at least one object that is located in a domain that is declared as a formal parameter of a type; creating a runtime graph from the abstract graph, wherein the runtime graph is an approximation of the true runtime object graph, wherein the runtime graph instantiates the objects from the abstract graph and represents containment information such that each runtime object contains runtime domains and each runtime domain contains runtime objects, and wherein creating the runtime graph includes copying the object declared inside the formal domain in the abstract graph into at least one domain in the runtime graph to which the formal domain of the object is transitively bound.
6. The method of claim 1 , wherein the containment information specifies at least one logical containment relation between two objects in the true runtime object graph, without prohibiting access to the object that is contained.